Issue with modes taking a transition that should not be enabled due to inaccuracies
In the attached model, according to the trace the simulator is taking the emptied action when the value of tank3 is 10^-12 instead of 0. This is most likely due to the rates of 10 and -21 not being divisible nicely w.r.t. delays. This results in a deadlock that should not be possible in the specified behaviour, as the emptied transition should only be available when tank3 is 0.