SRI PVS/Namespaces