Assertion list
clock (primary) → UsedFor
Results from Ascent++: 2
clock → UsedFor → timing 0.31
clock → UsedFor → handball 0.27