Member predicate StructuralComparison::Internal::InternalStructuralComparisonConfiguration::same

Holds if elements x and y structurally equal. x and y must be flagged as candidates for structural equality, that is, candidate(x, y) must hold.

predicate same(ControlFlowElement x, ControlFlowElement y)