Assertion list
fir (primary) → HasProperty
Results from Ascent++: 1
fir → HasProperty → effective 0.25