Nodes of term isabelle stockmans