Flow.java performs both DA/DU and exception checking with a single visitor. this is bad for lambda, as we will need to perform exception analysis only (without DA/DU).