Predicate isExprInAssertion
Holds if expression e appears in an assertion.
Import path
import semmle.code.csharp.commons.Assertions
predicate
isExprInAssertion
(
Expr
e
)