The abstract evalutaion engine now works with the new PtsSet. Finally we
are able to do some shape analysis. But this change in PtsSet
implementation also makes the existing test framework obsolete. This
motivate us to work on a new testing infrastructure now based on works
done in Jason Wolfe's thesis.