small changes in ts_induce.adb for compiler warnings