Yes, I’d expect applications can figure this out if they need to, considering their close proximity. It should be a lot easier than properly estimating the waiting time for the signal itself (which e.g. requires spatial analysis of all arms of the intersection). But even if not, we can always consider adding a tag to the highway=give_way node to indicate it gets overridden by traffic signals.
If you imagine the traffic signals and its associated stopping line were not there, would you really place the highway=give_way node in the same position? In the Netherlands we always have haaientanden separately from the traffic signal stopping line.
