firstClause

abstract val firstClause: Clause?

Gets the first successfully retracted clause