InlineCodeRatherThanPeremptoryConditionRefactoring produces non compilable code

[cal101]

This diff makes the code not compilable because the catch has nothing to catch:

         try {
-            if (false) {
-                methodThatThrowsFileNotFoundException();
-            } else {
-                methodThatDoesNotThrowFileNotFoundException();
-            }
+           methodThatDoesNotThrowFileNotFoundException();
         } catch (FileNotFoundException e) {
             throw new IllegalFileException("can not write", e);
         }

I understand that fixing this requires exception flow analysis.
What is the state of control flow analysis in AutoRefactor?
Is there support for exception flow analysis?