bug fix for range value propagator