It might be useful to allow the user to specify the type of reformulation for each constraint (add a field to DisjunctConstraint to specify method).