Modify Expr.Assign
Treat Expr.Record
Treat Expr.Update