An Extension of the Nemhauser--Trotter Theorem to Generalized Vertex Cover with Applications