failing test for disjunction expr