Predicate function_can_never_return
Holds if it can be determined from the control flow graph alone that this function can never return
Import path
import pythonHolds if it can be determined from the control flow graph alone that this function can never return
import python