\param f is the function being transformed \param root is the start Varnode containing the logical value \param prec is the precision to assume for the logical value
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected