Assertion list
covenant (primary) → SimilarTo
Results from Ascent++: 1
covenant → SimilarTo → contract 0.27