If eSink is not null, generate an error if e throws
expression to check for throwing
function
if !null, then send error messages to eSink
CT.exception or CT.error if the expression may throw exceptions.
See Implementation
If eSink is not null, generate an error if e throws