bug detection disjunctive