let add_aux_variable vi = AuxVariables.add vi