More coffee to everyone! :-)

Yeah, accounts are often mixed, that is why it is just about probability. I think that  @hr1 will eventually end up writing a separate post about the approach they have taken together with @mor to tackle the issue. Stay tuned ;-)

Considering SMT, I don't even have time to think about what that will bring actually, so I am trying to solve the current issues. Who knows, maybe we will have Steeve SMT as well...