For an overview of this library, along with tutorials and examples, see CodeQL for C#
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)