We thus prioritize the rightmost predicates in this matching process.
the proceeds from the rightmost inner predicates to the outer ones, and the matching process is repeated until the leftmost predicate in LCSN0 or that in LCSV 1 matched.