Function introduce_objective_auxiliary 

pub fn introduce_objective_auxiliary(model: Model) -> Model

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

Objectives that are already atoms (for example minimising z) are left unchanged.