(3rd type) An error in the chain of inheritance

[APotyomkin]

Problematic code:

[] > test
  [] > parent
    [self x] > f
      x.sub 5 > t
      seq > @
        assert (0.less t)
        x
    [self z] > h
      z > @

  [] > child
    test.parent > @
    [self y] > g
      self.f self y > @

  [] > grandchild
    test.child > @
    [self y] > f
      y > @
    [self z] > h
      self.g self z > @

Expected result:

RESULT BY AnOdin:
        [Unjustified Assumption] Method g is not referentially transparent

Actual result:

RESULT BY AnOdin:
        Odin is not able to analyze the code, due to:
        Symbol value-of-before-g not declared

Thoughts:
The error message is the same as in #35. But here absent long calls chain. So the problem is probably somewhere else.

[fizruk]

@Leosimetti this should be straightforward, but for now is low priority.