Nodes of term isabelle pauweleyn