Assertion list for term "a cost of infinity".

Results from Ascent++: 1
node HasAa cost of infinity 0.41