Rename CounterOp to CounterOperation