Add BinaryNode.reassociate to do generic +, -, *, &, |, ^ reassociation, use it for canoncialization. Will be used to reassociate loop invariants. Better canonical form for +/- Stop canonicalizing a-Cst to a+(-Cst) Canonicalize a-(-Cst) to a+Cst Canonicalize a+(-Cst) to a-Cst Canonicalize -a+b to b-a Add jtt and white box tests for that

mxtool/mx