Alloy arrays for source and destination parameters in iptables::rule