Fixed bug in control-flow analysis of methods with multiple return statements