Assertion list for term "left by fibre".

Results from Ascent++: 1
void ReceivesActionleft by fibre 0.25