moved m_priority from FormulaOperator to FormulaElement. i.e. afterhere, all formula element have the priority.