Insert after last leader and before first instruction, handle non-terminated blocks