Predicate RedundantAssignment::assignment

predicate assignment(AssignStmt a, Expr left, Expr right)