ConditionalExpression toConditionalExpression() { return new ConditionalExpression( greqlEvaluator, condition, trueFormula.optimize(), falseFormula.optimize()); }