Assertion list for term "used in program".
Results from Ascent++: 2
file → ReceivesAction → used in program 0.54
value (aspect of variable) → ReceivesAction → used in program 0.25