Predicate General::app_route

Holds if route is routed to func by decorating func with app.route(route)

predicate app_route(ControlFlowNode route, Function func)