Yeah this is not exactly something frequently added, but there is one example made, and I added the less-likely-to-conflict version so at least there is some indication that this is a potential routing problem specifically for those self-driving vehicles... https://wiki.openstreetmap.org/wiki/No_turn_on_red