Knowing that the given Varnode is the head of a partition, generate the partition recursively and generate the formal Partition object. \param vertex is the given ValueSet (attached to the head Varnode) \param part will hold the constructed Partition
source not stored for this graph (policy: none)