UML based testing of nftables firewalls | Hacker News Reader