clauses

open override val clauses: List<Clause>

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