Source:
<code>public static AbstractExpression evaluateExpression(AbstractExpression expr) { if (expr == null) { return null; } expr.setLeft(evaluateExpression(expr.getLeft())); expr.setRight(evaluateExpression(expr.getRight())); if (ExpressionType.CONJUNCTION_AND == expr.getExpressionType()) { if (ExpressionType.VALUE_CONSTANT == expr.getLeft().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getLeft())) { return expr.getRight(); } else { return expr.getLeft(); } } if (ExpressionType.VALUE_CONSTANT == expr.getRight().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getRight())) { return expr.getLeft(); } else { return expr.getRight(); } } } else if (ExpressionType.CONJUNCTION_OR == expr.getExpressionType()) { if (ExpressionType.VALUE_CONSTANT == expr.getLeft().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getLeft())) { return expr.getLeft(); } else { return expr.getRight(); } } if (ExpressionType.VALUE_CONSTANT == expr.getRight().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getRight())) { return expr.getRight(); } else { return expr.getLeft(); } } } else if (ExpressionType.OPERATOR_NOT == expr.getExpressionType()) { AbstractExpression leftExpr = expr.getLeft(); if (VoltType.BOOLEAN == leftExpr.getValueType()) { if (leftExpr instanceof FunctionExpression) { return expr; } <START> if (ConstantValueExpression.isBooleanTrue(expr.getLeft())) { <END> return ConstantValueExpression.getFalse(); } else { return ConstantValueExpression.getTrue(); } } else if (ExpressionType.OPERATOR_NOT == leftExpr.getExpressionType()) { return leftExpr.getLeft(); } else if (ExpressionType.CONJUNCTION_OR == leftExpr.getExpressionType()) { AbstractExpression l = new OperatorExpression(ExpressionType.OPERATOR_NOT, leftExpr.getLeft(), null); AbstractExpression r = new OperatorExpression(ExpressionType.OPERATOR_NOT, leftExpr.getRight(), null); leftExpr = new OperatorExpression(ExpressionType.CONJUNCTION_AND, l, r); return evaluateExpression(leftExpr); } } return expr; }</code><technical_language>other kinds of expressions occur here</technical_language>

Target:
public static AbstractExpression evaluateExpression(AbstractExpression expr) { if (expr == null) { return null; } expr.setLeft(evaluateExpression(expr.getLeft())); expr.setRight(evaluateExpression(expr.getRight())); if (ExpressionType.CONJUNCTION_AND == expr.getExpressionType()) { if (ExpressionType.VALUE_CONSTANT == expr.getLeft().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getLeft())) { return expr.getRight(); } else { return expr.getLeft(); } } if (ExpressionType.VALUE_CONSTANT == expr.getRight().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getRight())) { return expr.getLeft(); } else { return expr.getRight(); } } } else if (ExpressionType.CONJUNCTION_OR == expr.getExpressionType()) { if (ExpressionType.VALUE_CONSTANT == expr.getLeft().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getLeft())) { return expr.getLeft(); } else { return expr.getRight(); } } if (ExpressionType.VALUE_CONSTANT == expr.getRight().getExpressionType()) { if (ConstantValueExpression.isBooleanTrue(expr.getRight())) { return expr.getRight(); } else { return expr.getLeft(); } } } else if (ExpressionType.OPERATOR_NOT == expr.getExpressionType()) { AbstractExpression leftExpr = expr.getLeft(); if ((VoltType.BOOLEAN == leftExpr.getValueType()) && (leftExpr instanceof ConstantValueExpression)) { if (ConstantValueExpression.isBooleanTrue(leftExpr)) { return ConstantValueExpression.getFalse(); } else { return ConstantValueExpression.getTrue(); } } else if (ExpressionType.OPERATOR_NOT == leftExpr.getExpressionType()) { return leftExpr.getLeft(); } else if (ExpressionType.CONJUNCTION_OR == leftExpr.getExpressionType()) { AbstractExpression l = new OperatorExpression(ExpressionType.OPERATOR_NOT, leftExpr.getLeft(), null); AbstractExpression r = new OperatorExpression(ExpressionType.OPERATOR_NOT, leftExpr.getRight(), null); leftExpr = new OperatorExpression(ExpressionType.CONJUNCTION_AND, l, r); return evaluateExpression(leftExpr); } } return expr; }