Assertion list for term "modified with control tower".

Results from Ascent++: 1
circuit ReceivesActionmodified with control tower 0.26