Predicate CompareIdenticalValues::equal

Are left and right structurally equal?

predicate equal(Expr left, Expr right)