Table destructor_location

predicate destructor_location(@destructor id, @location loc)