added disambiguted helper variables to cnf file