add automaton tests
add proxy tests