finished generalizing Interfaces_Normalize
finished generalizing Interfaces_Normalize

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