Predicate hasNoEffect
Holds if the expression e should be reported as having no effect.
Import path
import Expressions.ExprHasNoEffectpredicate hasNoEffect(Expr e)Holds if the expression e should be reported as having no effect.
import Expressions.ExprHasNoEffectpredicate hasNoEffect(Expr e)