Predicate possiblyReturnsNonNil
Holds if ret is a data-flow node whose value contributes to the output res of fd,
and that node may evaluate to a value other than nil.
Import path
import semmle.go.dataflow.internal.DataFlowUtilpredicate possiblyReturnsNonNil(FuncDecl fd, FunctionOutput res, Node ret)