Add op counts and restart group laws