Bug in the computation of unbounded reachability for MA
In model master.modest the property "tmp" evaluates to 1.0, however Modest computes 0.999982005991283 for width=1.0e-7.
In model master.modest the property "tmp" evaluates to 1.0, however Modest computes 0.999982005991283 for width=1.0e-7.