Почему тут нет else ветки? Она нужна, чтобы сигнализировать о случаях когда кто-то поломает метод IsCorrect. Например нужно сделать return 1, чтобы тесты на Travis упали.