Remove 'addSlackVariables' in CompositeConstraint, this can cause confusion if we addSlackVariable and then add constraints, as the old constraints and the newly added constraints are for different set of variables.