replace_Goto_with_Call_in_terminal_chain
replace_Goto_with_Call_in_terminal_chain

now, we have shown that it is okay to replace all Gotos in the SQRL
ruleset with calls

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