Reports inconsistencies in function/method exit points.

The following types of inconsistencies are reported:

Technically these are not errors, but practically they usually indicate a programming mistake.