addVariablesIntroducedIfFalse