public LocalPNCounter( Cluster cluster, PNCounter counter )
new : cluster : Cluster * counter : PNCounter -> LocalPNCounter