Module objective 

Normalisation of optimisation objectives before rewriting.

Functions

introduce_objective_auxiliary

Introduces an auxiliary find variable for a non-atomic optimisation objective and links it with an aux declaration constraint.