El while no funciona y corta la ejecución

[faloi]

Por ejemplo, este programa sólo pone una bolita verde:

program {
    Poner(Verde)
    IrAlExtremo(Norte)
    Poner(Rojo)
}

procedure IrAlExtremo(dir) {
    while (puedeMover(dir)) {
        Mover(dir)
    }
}