Wala added new methods to interface class.  Added an implementation to this method
Elements associated with LocalSinkPoints should already have the objects as localelements.  Shouldn't have to look at the objects on the heap.
also propagate throw elements
added support for throw elements and catch instructions to propagate exception flows
refactored 01cfa method slightly
added a commented line for 01cfa
relaxed parameterflow rule a little
added a few other exception flow tests
added more tests for mutualrecursion