Csp_inst.construct_model ignores auxiliary symbols
Csp_inst uses tmp variables for auxiliary symbols