treating disjunction literals