Upgrade VFSModRef.
Convert PB analyser to use shadow structures