Disabled pretrace-by-default, fixed dt() [though it will be of limited use until pretrace is fully working]