Iterative Depth-First Search for Fully Observable Non-Deterministic Planning