Assertion list
abacus (primary) → UsedFor
Results from Ascent++: 4
abacus → UsedFor → addition 0.40
abacus → UsedFor → counting 0.40
abacus → UsedFor → subtraction 0.40
abacus → UsedFor → multiplication 0.34