Table constructor_location

predicate constructor_location(@constructor id, @location loc)