Lazy IR Trees and Translater update