The prevInstWasReturn variable is only updated when we see a return or OpLabel.  Otherwise, it can be out of date.   Might be nice to say that caveat here, rather than update all the *other* switch cases with the update to this var.    Or, move its update outside of the switch statement, to right before the end of the lambda.  I actually like that better.