Predicate ComplexCondition::nontrivialLogicalOperator

predicate nontrivialLogicalOperator(BinaryExpr e)