slight fix to the realizability checkfor the nondeterminstic case