Extending coinductive proof search with automata theoretic tools