Add more tests and fine-tune the dt/t change semantics and checks