Simplify 2-node.eqc