make_pattern_match: Translate a pattern into a predicate that checks the pattern.
Description
Takes a pattern from the DSL and make a comparison of the
pattern specification against range variables.
Usage
make_pattern_match(pattern, range_vars)
Arguments
pattern
An expression on the form table[index-list]
range_vars
A list of the variables used in the ranges.
Value
An expression that tests pattern against range_vars.