Assertion list
fine (primary) → UsedFor

Results from Ascent++: 1
fineUsedFor investigation 0.46