let raise_error msg = 
        Ltl_to_acsl_option.fatal "Ltl_to_acsl plugin internal error. \nStatus : %s.\n" msg