NotImplementedSolverImplが正しく実装されていないことを示すテストケースを追加

NotImplementedSolverImplにテストケースを追加