Member predicate DataFlow::Node::getAFunctionValue

Gets a function value that may reach this node with the given imprecision level.