Predicate ComplexCondition::getSimpleParent

Expr getSimpleParent(Expr e)