Assertion list for term "listed in variables clause".

Results from Ascent++: 1
variable ReceivesActionlisted in variables clause 0.33