Assertion list for term "used in map".
Results from Ascent++: 2
sign → ReceivesAction → used in map 0.49
data → ReceivesAction → used in map 0.32