Fix in change of modelling constraint solver related monadic computation.