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