Function match_registered_rule 

pub fn match_registered_rule(
    left: &SemanticOperationGraph,
    right: &SemanticOperationGraph,
) -> Option<RuleMatch>

Match any closed, registered SOG correspondence rule.