update range value propagator
a quick fix, TODO it more precise later.