refactorings
refactor nondeterm_parallel