- old method produced unused variables
- old method was not deterministic in the output code i.e. ordering of
  the introduced constants
- moveConstantsBeforeLoops transformation was also not deterministic