Es porque usa la notación abreviada, si la condición es falsa va al paso siguiente (yo sugiero que no la usen porque confunde)
Usando la notación completa el salto quedaría así:
-> ( b, b\ ) / ( 3, 4 )
Usando la notación completa el salto quedaría así:
-> ( b, b\ ) / ( 3, 4 )