Function doesExitPointPropagateCalls

Checks whether the given exit point type propagates calls (i.e., whether it aborts the current function execution).