EqualNode.rhs

Operands (order doesn't matter).

  1. OutEdge lhs;
  2. OutEdge rhs;
    struct EqualNode
    OutEdge rhs;