Finish RefineRotations and RefineVertices in Solver.