size

abstract val size: Int

Returns the number of Clause stored in this tree