Add testNondeterminism (nondeterminism not implemented)