Ah, okay. You're right, it's redundant; the `if` statement was added to fix the old calculation of the constant, which (being incorrect) could introduce the original `symbol` into the constant even if the substituted version did not contain `symbol`. Now that the calculation is correct, the clause is redundant.