Predicate isCompoundExpression

Holds if e is a compound expression that may contain sub-expressions with side effects. We should not flag these directly as useless since we want to flag only the innermost expressions that actually have no effect.