Necessary/Unnecessary Node Finder