Added ClauseBuilder to handle the construction of clauses.