Looks like we made it really deterministic, as all previously
non-deterministic model behave deterministically.