finished first attempt at z3 policy routing
added missing relation name implementation
formatting
Merge remote-tracking branch 'origin/unstable' into lpedrosa