I suppose we need this code afterall, since we would like to check to reference fields are tainted
added visitor for ExceptionFlow
added exceptionsink to spec
added visitor methods for exceptionflow.  TODO: fill in methods
added calculateSinkPoints for EntryExcSinkSpec