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