an undeclared acceptance condition. * src/tgbaalgos/save.cc (print_acc): Unquote atomic propositions.