public LocalGCounter( Cluster cluster, GCounter counter )
new : cluster : Cluster * counter : GCounter -> LocalGCounter