public static final boolean VALIDATE_AFTER_OPTIMIZATIONS = false;
public static final boolean TRACE_CONSTRAINT_SOLVER = false;
public static final boolean PRINT_OPTIMIZATION_TRANSFORMATIONS = false;
public static final boolean VALIDATE_AFTER_OPTIMIZATIONS = false;
public static final boolean TRACE_CONSTRAINT_SOLVER = false;
public static final boolean PRINT_OPTIMIZATION_TRANSFORMATIONS = false;