Predicate Base::safe_return_node

Gets a return value CFG node, provided that is safe to track across returns

ControlFlowNode safe_return_node(PyFunctionObject func)