Predicate receiverNode
Gets the Node corresponding to the value of r at function entry.
Import path
import semmle.go.dataflow.internal.DataFlowUtilGets the Node corresponding to the value of r at function entry.
import semmle.go.dataflow.internal.DataFlowUtil