Automatic Move Pruning in General Single-Player Games