added a getter of a unary flag.
fixed FormulaElement::findInsertPoint() to use a priority barrier flag.