a SharedObjectPolicy that uses search global ThreadInfoSets, i.e.
we remember thread access of all previously executed paths.
For instances, we use the object reference value to retrieve cached values
For static fields, we just use the corresponding class object reference
Note that this policy requires search global object ids (SGOID), i.e. only works
with Heap implementations providing SGOIDs