...to keep UBSan from complaining about illegal downcasts from FormulaToken to
ScToken (which were practically harmless, given that ScToken did not add any
data members).

Change-Id: I8fdc026eec363442cc4b720b71d65c972b4a4446