«Следующий случай – это запись типа >= 1 вместо > 0, которое представляет собой логически то же самое, как и раньше.»
Очевидно, только для целых чисел?!
если имеется ввиду проверка на >= опред_число, то тогда ответ — да.
в данном примере, вообще, ConstantValue приводится к типу Int32. здесь необходимо было показать саму возможность работы. однако, если поиграться с методами IsRelevantLeftSideComparison и IsRelevantRightSideComparison то можно довести до логического завершения процесс нахождения «ошибок».
Реализация Code Action с помощью Roslyn