Modified BinaryCounterNM