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