This results in spurious errors. Proper fix is a bit tricky so as to avoid re-encoding the control flow that liveness/trans already know about. May come about as part of a refactoring I want to do to liveness to accommodate once fns.