Connectivity of lanes

[MasterIzumi]

Hi, I'm trying to get the lane graph topology from the MapAPI. Currently, I can get the left, right, and successors using lane.adjacent_lane_change_left, lane.adjacent_lane_change_right, and lane.lanes_ahead. However, the predecessors are not provided directly in the data structure (although we can get it using successors inversely).

Could you please add this information in the map data? That would be a great help if it is accessible directly. :)