added a getter of a priority barrier flag: FormulaElement::hasPriorityBarrier().