statistics for onecounter automata