Collections.sort(values);
IntegerEnumeratedVariable aux = getNewEnumeratedDummy(values);
dummyEnumeratedVars.add(aux);
auxName = aux.getName();
} else {
IntegerDomainVariable aux = getNewDummyVariable(lowestVal,highestVal);
dummyDomainVars.add(aux);
auxName = aux.getName();
}
String cond = constraintToTailor(exp.getCondition());
String expTrue = exp.getTrueExpression().accept(this);
String expFalse = exp.getFalseExpression().accept(this);
StringBuffer buff = new StringBuffer ();