Automaton test for cave (not implemented)