// INTENTION_TEXT: Simplify negated '<' expression to '>='
fun test(n: Int) {
    0 >= 1
}