CountingAutomata-matcher