CoreSolver: remove unnecessary comments