I\'m operating on Java bytecode and ended up with an instruction flow similar to this simplified code:
branch_1: new Foo astore 42 goto end branch_2:
