Assertion list
eagle (primary) → HasPrerequisite

Results from Ascent++: 1
eagleHasPrerequisite saftey 0.29