Agda.Compiler.Treeless.Erase
eraseTerms