FORMULA-WITH-NAME for integers.
Force string representations.
Ensure that source lists refer only to formulas that exist in the underlying problem's signature.