Sorry if I’m getting whooshed, but they don’t know that they’re going to cross anyways. They’ll cross in whichever situation comes first.

I think it would be better if all stop lights were just red by default, and you had to push a button to drive your car across the intersection. Then you won’t needlessly inconvenience walkers.