replaced some lines into assertFormulaBetween() in test_formulaBetween().