Implement ensure_counter Functionality

[VGeorgee]

The ensure_counter function is a counter creator but as opposed to other creators, this function does not generate an error if called multiple times with the same parameter. This way, we can create counters in the benchmarked function without having to create them before the call.