Predicate General::flask_routing

Holds if urls matching regex are routed to func using any of flask’s routing mechanisms.

predicate flask_routing(ControlFlowNode regex, Function func)