Adding instruction to get the xor-to-cnf system for fuzzing

Fixes #111