[m-rev.] for post-commit review: move cartesian_products predicates

[Zoltan Somogyi]

The only thing worth reviewing are the new comments, including
an XXX about what I think is a bug, in live_vars.m's treatment
of parallel code. The right reviewer would be Paul, but maybe
someone else also has relevant insights.

Zoltan.