Value propagation: Represent constant unary expressions via equivalence expressions