CPS transformer: Support yield in do while condition