Member predicate DataFlow::Node::getAFunctionValue

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

FunctionNode getAFunctionValue(int imprecision)