Check casts are valid.
"="" and "+="-like operations are initially different nodes in the tree.
Better name mangle.