Checks whether the given dataflow information always exits (i.e., if there is a non-default exit point in every branch).
ExitPoint - for the different types of exit points
Checks whether the given dataflow information always exits (i.e., if there is a non-default exit point in every branch).