Refactor counter specs.
Updated AppCode workspace.