Added possibility to exchange clauses from the checkers to the generator.