create yield labels purely during code generation instead of counting them upfront
implement 'yield' inside of 'finally' clause
merge