• Checks whether the given dataflow information always exits (i.e., if there is a non-default exit point in every branch).

    Parameters

    Returns boolean

    ExitPoint - for the different types of exit points