Java backend: switched to the new Evaluator which inherits from PrePostTransformer
Java backend: threw runtime exception when the unsafe version of the KItem#evaluate is used improperly
Java backend: more cleanup work
Java backend: set the truth value of a symbolic constraint back to TRUE when it becomes empty