Consider case, when object is encapsulated in ".if" and it works like 'other object' and wraps by new ".if".

[MikhailLipanin]

[MikhailLipanin]

for example, if there are several ".forward"/"backward" inside goto, then for "other" objects, that should be encapsulated in additional ".if" objects with "flag-check", this will be respresented as:

if.
  eq.
    flag1
    x
  seq
    if.
      eq.
        k
        seq
          flag2.write 0
        z
      TRUE
  if.
    eq.
      flag2
      1
    seq
      TRUE
    TRUE

but not like that:

if.
  eq.
    flag1
    x
  seq
    if.
      eq.
        k
        seq
          flag2.write 0
        z
      TRUE
  TRUE

So, need to consider cases with branching and ".if" object.

[0pdd]

@MikhailLipanin the puzzle #109 is still not solved.