Fix reverse_lexicographic benchmark

[addmai]

Summary

This PR adds a fixed version of reverse_lexicographic.ari as reverse_lexicographic_REV2.ari.

The benchmark is described in the README as a terminating benchmark, but the original ARI file contained an incorrectly translated branch condition. Because of this, the ARI file allowed an unintended transition.

Fix

The condition corresponding to p != 0 was written as:

(or (> p 0) (< p 1))

This condition is true even when p = 0, so it enabled an unintended branch.

It has been corrected to:

(or (> p 0) (< p 0))

Validation

The corrected benchmark is classified as YES by imaxfinder and KoAT, which is consistent with the README description.