Added two fresh vars counter and uid.uid is a list of integer denoting the specific instance of a stateful/stateless node.
Added two fresh vars counter and uid.
uid is a list of integer denoting the specific instance of a stateful/stateless node.