refactor parallel nondeterm