Assertion list
guarantee (primary) → MadeOf
Results from Ascent++: 2
guarantee → MadeOf → respect 0.30
guarantee → MadeOf → test availability 0.09