[PPL-devel] [GIT] ppl/ppl(pip): Test test07() in pipproblem2. cc shows a bug in PIP_Problem.