Characteristic predicate NoBooleanSideEffects::BooleanExpression::BooleanExpression

BooleanExpression()