foreach (s, d): cross({ h1; h2; h3; h4 }, { h1; h2; h3; h4 })
tcpDstPort = 80 -> .* s6 .* at min(1 Mbps);