Predicate Assertions::isExprInAssertion

Holds if expression e appears in an assertion.

predicate isExprInAssertion(Expr e)