fixed value tracking of objects that go out of instrumented code and that get their symbolic values after calling syncValue.