Integrated the invCounter CRDT.
Updated the E-SCRIPT according to the new interface