frenetic-lang/frenetic — pull request #149 by seliopou (2013-11-08 22:24:25+00:00)
Title: Fix issue with port check ordering

The link-free policy may modify the port, so do the port checking
extracted from the link terms at at the end of the link-free policy.

Closes #148.