Module Dolmen_smtlib2_v6_script.Print

Exception raised when some input cannot be printed due to lexical conventions. In that case, the string contains a message explaining why the printing failed.

Print an identifier, quoting it if necessary.