Assertion list for term "transferred via fin".

Results from Ascent++: 1
heat ReceivesActiontransferred via fin 0.31