Assertion list
logic (primary) → UsedFor
Results from Ascent++: 1
logic → UsedFor → multiple values 0.25