⎕VR'f'
          ∇ r←a f w
     [1]    →w
     [2]    :If a
     [3]        r←'drippy'
     [4]    :Else
     [5]        r←'flue'
     [6]    :EndIf
          ∇

           0f 2
     flue
           0f 4  ⍝ no result
           0f 3
     drippy

Control statements + branching = profit?

@Adám I saw that Aaron passed along my dfns question. How about control statements though? Is there a formal definition for what should be happen when branching to strange places like the above?

@B.Wilson I don't know if it is stated anywhere, but the rule I've observed is that jumping into a structure runs that block as normal code until it hits any keyword (might be immediatly at the jump target) and then skips to the end of the structure.