Assertion list
kin (primary) → UsedFor
Results from Ascent++: 1
kin → UsedFor → transaction 0.25