TR extraction more robust w.r.t. unsupported code