Assertion list
tail (aspect of ocelot ) → HasA
Results from Ascent++: 1
tail → HasA → black rings 0.68