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