DPOR with sleep sets as in Godefroid 05