strict counter for other implementations

I made the counter for the inherited attribute computation strict (in
accordance with the mutable vector implementations) for a fairer
comparison with the mutable vector implementations. This gives a modest
improvement.