FormulaTokenCheckerTest : added token size checking