In particular :
  - replaced vector of counters with deque in HLTControlFlowMgr
  - use prefix ++ operator everywhere, as postfix one will go