restore the use of micro-tactics in TS5.ts