improve REWRITE_TARGETTED by replacing the targeting function f : G --> V(g) with a function returning a partialdictionary of targets f : G --> (V(r) --> V(g)) which first tries to match all the keys in the dictionary (vertices in the rule) with their values (vertices in the graph), before attempting to match the rest of the rule.
improve REWRITE_TARGETTED by replacing the targeting function f : G --> V(g) with a function returning a partial dictionary of targets f : G --> (V(r) --> V(g)) which first tries to match all the keys in the dictionary (vertices in the rule) with their values (vertices in the graph), before attempting to match the rest of the rule.