Assertion list for term "judged to be constant".

Results from Ascent++: 1
value (aspect of function) ReceivesActionjudged to be constant 0.25