No, we do not just solve it from left to right and instead follow the precedences. The precedences are the same throughout the course. Conjunctions binds stronger than disjunction, and since local model checking works in a top-down manner, disjunction comes first here.