Finish SolvePostprocess for all the solvers.
First overwrite rotations_ with S_, then call RefineVertices.