make state in GCounter public and rename compare to leq