public override void LeaveExpressionStatement(ExpressionStatement node) { AssertHasSideEffect(node.Expression); }