[prefix-sharing] Fixed computation of size for non-unique inner-nodes.
[prefix-sharing] Rewrote insert to be recursive.