Adds integer (ctr) variable in RunManager.