Make tests actually test that the adder is used.