Defines a pair for two finite domain blocks.
Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2. The result is stored in pair which must be allocated using bdd_makepair.
