refactored: combining lemmas
refactored: combining lemmas

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