Annotation Type Nondeterministic