bug fix in ts_induce.adb