Parameter restrictions in the form 1<2<3..
Parameter equivalence (p1 == x) etc. + cnf formula substitution
Formula list by x_I / I = 1..42