remove import for 'RotateSolver' which is not done yet