generate
Temporarily switch my state to generate code just prior to the control flow altering instruction leading to this edge. Update the edge's manifest, under the assumption that the newly generated code and the (existing) final instruction of the block do not interfere in terms of the semantic values they populate and consume.