Traversal moves 3018 prover