Nodes of term Simprop