added code to collect trivial non-null variables (i.e. this and
CaughtExceptionRef) and their renamings and used that to suppress false
alarms in infeasible code detection.