Fixed output of BooleanExpression