Nodes of term isabelle rouquette