Predicate RedundantAssignment::corresponding

predicate corresponding(Expr left, Expr right)