Predicate ComplexCondition::nontrivialLogicalOperator

predicate nontrivialLogicalOperator(Operation e)