No matches were found for subject:"\[Bug tree\-optimization\/95799\] New\: Assumed conjunctions are not broken down into clauses if their pureness is checked first"