Assertion list for term "depend on seed".

Results from Ascent++: 1
butterfly CapableOfdepend on seed 0.27