AddDynamicClauses

constructor(clauses: Iterable<Clause>, onTop: Boolean = false)

constructor(vararg clauses: Clause, onTop: Boolean = false)

constructor(clauses: Sequence<Clause>, onTop: Boolean = false)