added while-sub nondeterministic test (not implemented yet)