dfa: honor control transfer instructions when performing auxiliary analyses (IDEA-162557)

java/java-tests/testData/inspection/dataFlow/fixture/TryReturnCatchInWhileNotComplex.java

@@ -0,0 +1,12 @@
+class Bar {
+  void repeatUntilPassesInSmartMode(final Runnable r) {
+    while (true) {
+      try {
+        r.run();
+        return;
+      }
+      catch (Throwable e) {
+      }
+    }
+  }
+}