Search Space Pruning to Solve the Root Identification Problem in Geometric Constraint Solving