more tracing
translation of instanceOf checks
try sledgehammer