Handle auxiliary variables explicitly

[zenna]

Often

Auxiliary variables may help make a problem more concise, less vulnerable to the dependency problem and hence easier to solve by a solver. They may also make it much harder for the solver, due to the increase in dimensionality.

We need an explicit pipeline for deciding when and where to use auxiliary variables.