Assertion list for term "chosen in qmpool.h".
Results from Ascent++: 1
default → ReceivesAction → chosen in qmpool.h 0.27