Extracted enumeration of next states to StateEnumerator, though regression: maximum ply seems now to be one...