\param f is the function to attempt the subvariable transform on \param root is a starting Varnode containing a smaller logical value \param mask is a mask where 1 bits indicate the position of the logical value within the \e root Varnode \param aggr is \b true if we should use aggressive (less restrictive) tests during the trace \param sext is \b true if we should assume sign extensions from the
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected