[acla] Extend Automaton class to search for all examples