Assertion list for term "state eitcs".

Results from Ascent++: 1
state (aspect of worker) HasAstate eitcs 0.25