On the Stubborn Set Method in Reduced State Space Generation