clauses

open override val clauses: Iterable<Clause>

The clauses that were actually removed, in removal order; null if the operation isFailure.