I am not really sure, but I think you are right, there should be something tested here.
But in my opinion we should test for ```if (node->getID() != k) continue;``` , i.e. if the ID for that node has already been changed we will not test it. Does that seem correct to you, too?