I verified that the current APG solver works.

A couple of diagnosis observations have been added. It remains to find a
good termination criteria.