mark_all_scalars_precise
mark_all_scalars_precise(env, &backedge->state);
mark_all_scalars_precise(env, starting_state);