finish the smashing part (only fill the smashed set for access path), have tested on my manually written cases and also raytracer, got the same result as before, now working on instantiation
smashing the fields for access path, have tested on my manually written test case and also raytracer (got the same result as before), now working on instantiating the locations to transitively get all the reachable locations in the caller to be sound