def incrementCounter(technique):
 kb.counters[technique] = (getCounter(technique) + 1)

def incrementCounter ( technique ) : kb . counters [ technique ] = ( getCounter ( technique ) + 1 )
increments query counter for a given technique .