This file includes the exception information of the pervasive functions.
get: fid -> exninfo returns may-uncaught exceptions for a given
pervasive function. Currently, nML EA reports ``OCaml_Exception'' for all
the exceptions from OCaml libraries. When a programmer wants to get more
detailed reports, it can be easily extended: the programmer needs to
add more information into the
get function with respect to the fid in perv.n of nML CFA.