It's in the original: > […] Similarly, function pointers should be used only if there is a very strong justification for doing so because they can seriously r

It's in the original: > […] Similarly, function pointers should be used only if there is a very strong justification for doing so because they can seriously restrict the types of automated checks that code checkers can perform. For example, if function pointers are used, it can become impossible for a tool to prove the absence of recursion, requiring alternate guarantees to make up for this loss in checking power. In other words, static analysis beats code cleanliness, in this perspective.