Fixed several issues affecting analysis of USC

- Fixed cycling caused by bad rules for OspfE2Route
- Fixed missing newlines for PolicyMapMatchIpAccessList facts
- Hack transforms ':' to '_COLON_' for z3, which doesn't allow colons in
  relation names.