Then “stop at a marked limit line” (A,B)
If [an indication to proceed is shown]
Then
Go(A,B);
else
if[no prohibiting a turn]
then Go(B)
Exception
If [pedestrians lawfully within an adjacent crosswalk]
Then
Yield (B);
End If;
End If;
End If;
If [green light]
Then
If [pedestrians lawfully within an adjacent crosswalk]
Then
Yield(B);
Else
Go (A);
End if;
End If;