[+] the concept of inner eating is introduced
      - in some assignment cases - arguments, initializators, fields - expression eater of assign expression must add expression to snapshot themselves.
      - in other cases - local variables - variable must be added to snapshot
      - so flag innerEat controls that behavior