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