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