GraphMatcher.
semantic_feasibility
Returns True if mapping G1_node to G2_node is semantically feasible.