[PPL-devel] Test using big parameter.

Hi Francois. I saw you recent commits on documentation: thank you very much. I will now improve our invariant checking method PIP_Decision_Node::OK() and will add assertions and comments on why code is sometimes unreachable. In order to further improve our code coverage ratio, I wonder if you can provide me with a couple of tests using the big parameter; and, while at it, do you have an example of PIP_Problem where the solution tree has a PIP_Solution_Node containing more than a single context constraint? Thank you in advance, Enea.