Assertion list
leg (aspect of trampoline ) → CapableOf
Results from Ascent++: 1
leg → CapableOf → protect against rust 0.68