For the given storage location, check that it is \e restored from its original input value. \param vn is the given storage location \param fd is the function being analyzed
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected