Check Precedence before adding a Disjunction