Predicate SsaDefinitions::SsaSource::exception_capture

Holds if v is defined by assignment of the captured exception.

predicate exception_capture(Variable v, NameNode defn)