Switch off tracing
Disable newTerm stuff for now
Try canonically-renamed instances before weird renamings