LOST_PARAM
if (type == LOST_PARAM)
mark_untracked_lost(expr, param, key, LOST_PARAM);
mark_all_params(return_id, return_ranges, LOST_PARAM);
type = LOST_PARAM;
type = LOST_PARAM;
select_return_states_hook(LOST_PARAM, &mark_lost);