removed SymbolicConstraint#rename
fixed the computation of freshConstants & freshVariables in the Java backend
enabled CheckVariables step in SpecificationCompilerSteps