widen_imprecise_scalars
err = widen_imprecise_scalars(env, prev_st, state);
widen_imprecise_scalars(env, prev_st, queued_st);