Assertion list for term "controlled by producer".

Results from Ascent++: 1
distribution ReceivesActioncontrolled by producer 0.25