It's not a total black box. Even as the driver you have the speed profiles, follow distance, and speed limit settings. I wouldn't be surprised if they still have deterministic code for how to handle traffic lights.