tester for forestautomata