-record(non_determinism_violation, {message :: binary()}).