RelationPriv.ProtectionBasedPrivParam
val path_sensitive : bool
Whether to be path-sensitive w.r.t. locally written protected globals that have been continuously protected since writing.