\brief Split up a known input Varnode based on the given refinement The \e refinement array is an array of integers, one for each byte in the given range. Any non-zero entry is the size of a particular element of the refinement starting at that corresponding byte in the range. I.e. the array [4,0,0,0,4,0,0,0] indicates the address range is 8-bytes long covered by two elements of length 4, startin
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected