proper handling on nested OR when flattening the DNF clause