Update of two generator-output-functions.

More updates are needed.
Editorial.
Translations for sets of xor-clauses.