Assertion list for term "contained in variable".

Results from Ascent++: 2
value (aspect of function) ReceivesActioncontained in variable 0.29
value (aspect of expression) ReceivesActioncontained in variable 0.25