add a flag to forget clauses between dichotomy steps