let
atse = (path_avispa^
"/bin/backends/cl/cl-atse"
: string)