Bug when computing THE with respect to TCB

!141 (merged) seems to have introduced a weird bug affecting performance when computing THE with respect to TCB.

This happens around line 916 of "instrument.py".