Neste código:
se falso então
'algumas indicações
terminar se
>>>> Como o compilador verific este?
se (.....) então
(......) a parte verific para considerar que o que é o resultado da circunstância e o resultado podem ser VERDADEIROS ou FALSOS.
alguma indicação nunca executará. SE as verificações de bloco (............) a divisória neste caso você se definiram o que será o resultado da avaliação da circunstância.
No código da amostra nenhum código dentro se então o bloco executará porque a circunstância tratará sempre como a condição falsa.
Neste caso:
se falso então
'algumas indicações
mais
'alguma outra parte
terminar se
alguma outra parte executará sempre. Devido à natureza do se então o bloco, quando a circunstância resultar parte outra falsa executa.