Predicate General::add_url_rule

Holds if urls matching regex are routed to func

predicate add_url_rule(ControlFlowNode regex, Function func)