thy cleanup (no change to code eqns)
thy cleanup (no change to code eqns)

diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics,jcaesar/Iptables_Semantics,jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,diekmann/Iptables_Semantics