Change SMT FileExporter to begin with clause .c1 instead of .c0