pl/sql research order

howdy. cruise following:

sql> declare
  2     b1   boolean;
  3     b2   boolean;
  4     duty checkit relapse boolean is
  5     begin
  6        dbms_output.put_line('inside checkit');
  7        relapse true;
  8     finish checkit;
  9  
 10     way outp(n varchar2, p boolean) is
 11     begin
 12        p then
 13           dbms_output.put_line(n||' true');
 14        else
 15           dbms_output.put_line(n||' false');
 16        finish if;
 17     end;
 18  begin
 19     b1 := loyal checkit;
 20     outp('b1',b1);
 21     b2 := checkit true;
 22     outp('b2',b2);
 23  end;
 24  /

b1 true
inside checkit
b2 true

pl/sql way successfully completed

sql> 

notice law statements method dependent. i place duty first, following duty executed regardless value term. appears an matter evaluated left right until loyal obtained, during indicate guess stops outcome true.

my doubt is, something i rest on? function change destiny releases pl/sql? change, there proceed force duty evaluated i rest (without formulating another non-static controlling removed assignment statement)?