ACL Firewall + Pretty Printing

- ACL firewall tested and works.
- "Pretty printing" for looking at assertions and generated models