Outputting dimacs abstraction of Clafer translation.