[tex] tree representations of terms and solving of Inhab tree