Nodes of term i-base