trans2smv: do not trans invs