Assertion list
kite (primary) → UsedFor
Results from Ascent++: 1
kite → UsedFor → communication 0.28