Hi Alex,
Even though these two stations share their entrances they are physically quite apart and travellers need to walk a bit to change platforms. That's why I think they should be mapped as two separate stop_area relations which are linked as an interchange station via the parent stop_area_group. I would suggest reverting your edit therefor.
What do you think?