added FormulaOperator::priorityOver().