These rules are obviously for something critical. I don't think they are saying that if you write some kind of service program at NASA, it cannot have an infin

These rules are obviously for something critical. I don't think they are saying that if you write some kind of service program at NASA, it cannot have an infinite loop for taking requests. Or if you write a line-by-line file processing utility, it has to cap out at a maximum number of lines so that the loop is statically bounded. Or that if you write some tool to process syntax, perhaps a compiler, that you cannot use recursion. These are not embedded, safety-critical things.