testing: more clearly differentiate good vs bad non-determinism