consider the case where v1 = v2.f and v1.f = v2 where we want to dereference a null pointer, by inserting some code when doing the lookup operation