fixed bug in which the priority of FormulaBetween is incorrect.