If programs are compiled using the option -XDshouldStopPolicy=FLOW, a lot of NPE are issued during flow analysis. The code of Flow.java should be made more error-friendly (e.g. it ought to work even in the face of errors).