Relates a thrown `Expression` (evaluated to an exception) to the `Throw Statement` it is contained in.