Capture parsing error of sexp format
When running why3 session create
on a malformed sexp file, the following fatal error occurs:
Fatal error: exception (Of_sexp_error
"src/parser/ptree.ml.term_desc_of_sexp: sum tag \"Teps\" has incorrect number of arguments"