СГ>

while (queue.has_elements()) {
    elem = queue.get_first();
    if (elem.get_state() == ST_FREE) {
        elem.start_processing(...);
        break;
    }
    queue.make_last(elem);
}

LOOP 
  x;
  IF b THEN y; EXIT END; 
  z
END

  if(ВыполняетсяНекотороеУсловие())
    return КоеЧтоНадоВернуть(........................);

  if(ВыполняетсяНекотороеУсловие2());
    return КоеЧтоНадоВернуть2(........................);

  if(ВыполняетсяНекотороеУсловие3())
    return КоеЧтоНадоВернуть3(........................);

PROCEDURE
  IF cond1 THEN RETURN 1 END;
  IF cond2 THEN RETURN 2 END;
  IF cond3 THEN RETURN 3 END;
END

Q>Оберон же фактически заставляет программиста всегда использовать составной оператор, заключаа его между THEN и END. И это хорошо?!

    if(ВыполненоНекотороеУсловие1())
        return ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами1(a, b, c, d, e, f, h);

    if(ВыполненоНекотороеУсловие2());
        return ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами2(a, b, c, d, e, f, h);

    if(ВыполненоНекотороеУсловие3())
        return ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами3(a, b, c, d, e, f, h);

    IF ВыполненоНекотороеУсловие1() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами1(a, b, c, d, e, f, h)
    END;
    ... 
    IF ВыполненоНекотороеУсловие2() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами2(a, b, c, d, e, f, h)
    END;
    ... 
    IF ВыполненоНекотороеУсловие3() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами3(a, b, c, d, e, f, h)
    END

    IF ВыполненоНекотороеУсловие1() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами1(a, b, c, d, e, f, h)
    ELSIF ВыполненоНекотороеУсловие2() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами2(a, b, c, d, e, f, h)
    ELSIF ВыполненоНекотороеУсловие3() THEN
      RETURN ВернутьНекотороеЗначениеОпределяемоеСледующимиПарамертами3(a, b, c, d, e, f, h)
    END

/*
  PHP - нетипизированый язык. Поэтому там на такие грабли можно наткнуться, что оёёёй
*/
print("1" == "0001" ? 'equal' : 'not equal');
// напечатает equal, потому что произойдет конвертация в int 
// (PHP парсит содержимое двойных кавычек)

print("1" === '0001' ? 'equal' : 'not equal');
// напечатает not equal, потому что объекты одинакового типа и их содержимое не равно

p = true;
while(p)
{
  p = false;
  break;
}
assert(!p)

PROCEDURE a : BOOLEAN
  {* пара десятков строчек кода *}
  RETURN TRUE;
END a;

PROCEDURE b
VAR
  a : BOOLEAN;
BEGIN
  a := FALSE;
  {* пара десятков строчек кода *}
  IF a THEN 
    {* критически важный код *}    
  END
END;

while not end_of_stream
    read_socket
    checksum == fails
        raise_hacker_alert
        break
    number_of_bytes_read>MAX_DATA_ALLOWED break
    process_data

* * i i i * i i * i * i * i

П>while (queue.has_elements()) {
П>    elem = queue.get_first();
П>    if (elem.get_state() == ST_FREE) {
П>        elem.start_processing(...);
П>        break;
П>    }
П>    queue.make_last(elem);
П>}
П>

П>Предлагаю вам посчитать overhead по строчкам/лексемам и помедитировать над результатом.

IF queue.has_elements() THEN
  elem := queue.get_first();
  WHILE elem.state # ST_FREE DO
    queue.make_last(elem);
    elem := queue.get_first()
  END;
  elem.start_processing(...)
END

СГ>WHILE p DO 
СГ>  ... 
СГ>END; 
СГ>ASSERT(~p) 
СГ>

СГ>while (p)
СГ>{ 
СГ>  ... 
СГ>}
СГ>assert(!p) 
СГ>

assert(P);          //           допущение о состоянии программы перед циклом (включая инвариант)
enter:
  assert(Q);        // P -> Q    допущение сразу после ветвления (перед проверками)
  . . .
  assert(R0);
  if(R) goto leave; // R -> T    закон выхода (ложь в while(), break, return)
  assert(R1);       // R1 -> R0 & !R
  . . .
  assert(S0);
  if(S) goto enter; // S -> Q    закон повтора (конец тела цикла, проверка в do-while(), continue)
  assert(S1);
  . . .
  assert(Q && !T);  //           безусловный повтор (означает, что выполняется предусловие и не выполняется постусловие)
  goto enter;
leave:
assert(T);

  assert(R0);
  if(R) goto leave;
  assert(R0 && !R);

  if(r) goto leave;