clauses

abstract val clauses: List<ClauseNode>