> Why does the linter rule not, instead, check if the while loop is unbounded and warn the user of that? Indeed, the linter only needs to incorporate of the ma

> Why does the linter rule not, instead, check if the while loop is unbounded and warn the user of that? Indeed, the linter only needs to incorporate of the many known solutions to the halting problem.