Symmetry test
Add scaling test
Move to Horn clauses
Fix endhost
Enough changes to get trivial example working

- Added quantifiers where necessary
- Fixed small bugs here and there
ACL Firewall + Pretty Printing

- ACL firewall tested and works.
- "Pretty printing" for looking at assertions and generated models
Fix timing and Learning Firewall
Minor fixes
New content cache
Test 2
ACL content cache