Agda.Compiler.Treeless.Simplify
simplifyTTerm