Exceptions of type TokenMgrError caught in FormulaParser