In the reassociation, the add/sub terms less likely to vary are separated from the parts likely to vary.
This is done on a per loop basis, and is applied only to expressions in innermost loops.
For now, only IVs in loops are regarded as likely to vary.
The goal is to result in more loop-invariant expressions.