Support operator inverse bound in #89 also for decreasing functions
Use the inverse bound propagator introduced in #89 in bmibnb
Inverse bound propagator for erf