scop.c: extract out acces_apply_value_bounds