addVariablesIntroducedIfTrue