Compose predicate-variable

An instantiation of the Process predicate-variable transforms, in the sub-case of the recursive case, the heads HX of the induction parameter X into a vector HY of heads of the other parameter Y. An instantiation of the Compose predicate-variable computes, in the 1 sub-case of the recursive case, the parameter Y from its heads HY (obtained by processing the HX) and tails TY (obtained by recursion on the TX). 

The objective at Step 6 is to instantiate the predicate-variables Processj and Compose of the divide-and-conquer schema. The number w of sub-cases of the recursive case must also be found. This amounts to transforming LA r) into LA r) such that it is covered by the following schema ... 

An instantiation of the Discriminate predicate-variable tests the values of HX, TX, Y to see whether SolveNonMinj, respectively Process/ a Compose), is applicable. 

---