let path_avispa =
  (try
    Sys.getenv "AVISPA_PACKAGE"
  with
    Not_found -> path_span)