Experiment: Consider calls to have no non-local effects

src/compiler/binder.ts

@@ -1346,7 +1346,7 @@ namespace ts {
                 const call = <CallExpression>node.expression;
                 if (isDottedName(call.expression)) {
                     currentFlow = createFlowCall(currentFlow, call);
-                    hasNonLocalEffect = true;
+                    // Experiment: hasNonLocalEffect = true;
                 }
             }
         }