Predicate Base::function_can_never_return

Holds if it can be determined from the control flow graph alone that this function can never return

predicate function_can_never_return(FunctionObject func)