[second attempt] Write the documentation of combine-predicate.pl; add "use warnings" everywhere.