preallocation of counter in runAGGraphST