Fix printing of quantified formulas if variables have more than a single digit salt