Why? I think they both should give `2*BASIC + ADD`.

I think there is a lot of confusion here. We should decide exactly what `count_ops` should mean, and document it.