Predicate inVoidContext
Holds if e appears in a syntactic context where its value is discarded.
Import path
import Expressions.ExprHasNoEffectHolds if e appears in a syntactic context where its value is discarded.
import Expressions.ExprHasNoEffect