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