An abstract variable representing an edge between two nodes in a graph. The value of the variable is a Tuple2 of the source and destination nodes.
Value comparisons (as distinct from variable pointer equality)
Value comparisons (as distinct from variable pointer equality)