Static Analysis for State-Space Reduction of Polygonal Hybrid Systems -- On the