Takes the full dynprog expression and construct a list of condition tests for each component of the recursion.
make_condition_checks(ranges, patterns, conditions, recursions)The ranges specifications
The patterns specifications
The conditions specifications
The recursions specification
A list of calls, one per recursion, for testing conditions.