implementation of [yieldto] in bytecode