Assertion list for term "left without trv".

Results from Ascent++: 1
radiator ReceivesActionleft without trv 0.31