jaclang 0.0.5__py3-none-any.whl → 0.0.8__py3-none-any.whl

jaclang/jac/absyntree.py

@@ -6,6 +6,7 @@ from typing import Optional, Union
 
 from jaclang.jac.constant import Constants as Con, EdgeDir
 from jaclang.jac.constant import Tokens as Tok
+from jaclang.jac.symtable import SymbolTable
 
 
 class AstNode:
@@ -13,16 +14,18 @@ class AstNode:
 
     def __init__(
         self,
-        parent: Optional["AstNode"],
+        parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list,
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize ast."""
         self.parent = parent
         self.kid = kid if kid else []
         self.mod_link = mod_link
         self.line = line
+        self.sym_tab = sym_tab
         self._sub_node_tab: dict[type[AstNode], list[AstNode]] = {}
         self._typ: type = type(None)
         self.meta: dict = {}
@@ -61,6 +64,7 @@ class Module(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize whole program node."""
         self.name = name
@@ -69,7 +73,9 @@ class Module(AstNode):
         self.mod_path = mod_path
         self.rel_mod_path = rel_mod_path
         self.is_imported = is_imported
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Elements(AstNode):
@@ -82,10 +88,13 @@ class Elements(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize elements node."""
         self.elements = elements
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class OOPAccessNode(AstNode):
@@ -98,10 +107,13 @@ class OOPAccessNode(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize OOPAccessible node."""
         self.access = access
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class GlobalVars(OOPAccessNode):
@@ -117,36 +129,62 @@ class GlobalVars(OOPAccessNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize global var node."""
         self.doc = doc
         self.assignments = assignments
         self.is_frozen = is_frozen
         super().__init__(
-            access=access, parent=parent, mod_link=mod_link, kid=kid, line=line
+            access=access,
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
         )
 
 
 class Test(AstNode):
     """Test node type for Jac Ast."""
 
+    TEST_COUNT = 0
+
     def __init__(
         self,
-        name: Name,
-        doc: Optional["Token"],
-        description: Token,
-        body: "CodeBlock",
+        name: Name | Token,
+        doc: Optional[Token],
+        body: CodeBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize test node."""
         self.doc = doc
-        self.name = name
-        self.description = description
+        Test.TEST_COUNT += 1 if isinstance(name, Token) else 0
+        self.name: Name = (  # for auto generated test names
+            name
+            if isinstance(name, Name)
+            else Name(
+                name="NAME",
+                value=f"test_{Test.TEST_COUNT}",
+                col_start=name.col_start,
+                col_end=name.col_end,
+                line=name.line,
+                already_declared=False,
+                parent=name.parent,
+                mod_link=name.mod_link,
+                kid=name.kid,
+                sym_tab=name.sym_tab,
+            )
+        )
+        kid[0] = self.name  # Index is 0 since Doc string is inserted after init
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ModuleCode(AstNode):
@@ -154,16 +192,37 @@ class ModuleCode(AstNode):
 
     def __init__(
         self,
-        doc: Optional["Token"],
-        body: "CodeBlock",
+        doc: Optional[Token],
+        name: Optional[Name],
+        body: CodeBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize test node."""
         self.doc = doc
+        self.name = name
         self.body = body
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
+
+
+class PyInlineCode(AstNode):
+    """Inline Python code node type for Jac Ast."""
+
+    def __init__(
+        self,
+        code: Token,
+        parent: Optional[AstNode],
+        mod_link: Optional[Module],
+        kid: list[AstNode],
+        line: int,
+    ) -> None:
+        """Initialize inline python code node."""
+        self.code = code
         super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
 
 
@@ -173,14 +232,15 @@ class Import(AstNode):
     def __init__(
         self,
         lang: Name,
-        path: "ModulePath",
+        path: ModulePath,
         alias: Optional[Name],
-        items: Optional["ModuleItems"],
+        items: Optional[ModuleItems],
         is_absorb: bool,  # For includes
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         sub_module: Optional["Module"] = None,
     ) -> None:
         """Initialize import node."""
@@ -190,7 +250,10 @@ class Import(AstNode):
         self.items = items
         self.is_absorb = is_absorb
         self.sub_module = sub_module
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ModulePath(AstNode):
@@ -198,16 +261,19 @@ class ModulePath(AstNode):
 
     def __init__(
         self,
-        path: list[Token],
+        path: list[Name],
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize module path node."""
         self.path = path
         self.path_str = ".".join([p.value for p in path])
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ModuleItems(AstNode):
@@ -215,15 +281,18 @@ class ModuleItems(AstNode):
 
     def __init__(
         self,
-        items: list["ModuleItem"],
+        items: list[ModuleItem],
         parent: Optional[AstNode],
         mod_link: Optional[Module],
-        kid: list["ModuleItem"],
+        kid: list[ModuleItem],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize module items node."""
         self.items = items
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ModuleItem(AstNode):
@@ -237,13 +306,16 @@ class ModuleItem(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         body: Optional[AstNode] = None,
     ) -> None:
         """Initialize module item node."""
         self.name = name
         self.alias = alias
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Architype(OOPAccessNode):
@@ -262,6 +334,7 @@ class Architype(OOPAccessNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize object arch node."""
         self.name = name
@@ -271,7 +344,12 @@ class Architype(OOPAccessNode):
         self.base_classes = base_classes
         self.body = body
         super().__init__(
-            access=access, parent=parent, mod_link=mod_link, kid=kid, line=line
+            access=access,
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
         )
 
 
@@ -281,20 +359,21 @@ class ArchDef(AstNode):
     def __init__(
         self,
         doc: Optional[Token],
-        mod: Optional[DottedNameList],
-        arch: ArchRef,
+        target: ArchRefChain,
         body: ArchBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize arch def node."""
         self.doc = doc
-        self.mod = mod
-        self.arch = arch
+        self.target = target
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Decorators(AstNode):
@@ -307,10 +386,13 @@ class Decorators(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize decorators node."""
         self.calls = calls
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class BaseClasses(AstNode):
@@ -323,10 +405,13 @@ class BaseClasses(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize base classes node."""
         self.base_classes = base_classes
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Ability(OOPAccessNode):
@@ -334,10 +419,11 @@ class Ability(OOPAccessNode):
 
     def __init__(
         self,
-        name_ref: Name | SpecialVarRef | ArchRef,
+        name_ref: Name | SpecialVarRef,
         is_func: bool,
         is_async: bool,
         is_static: bool,
+        is_abstract: bool,
         doc: Optional[Token],
         decorators: Optional[Decorators],
         access: Optional[Token],
@@ -347,6 +433,7 @@ class Ability(OOPAccessNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         arch_attached: Optional[ArchBlock] = None,
     ) -> None:
         """Initialize func arch node."""
@@ -354,13 +441,20 @@ class Ability(OOPAccessNode):
         self.is_func = is_func
         self.is_async = is_async
         self.is_static = is_static
+        self.is_abstract = is_abstract
         self.doc = doc
         self.decorators = decorators
+
         self.signature = signature
         self.body = body
         self.arch_attached = arch_attached
         super().__init__(
-            access=access, parent=parent, mod_link=mod_link, kid=kid, line=line
+            access=access,
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
         )
 
     def py_resolve_name(self) -> str:
@@ -379,22 +473,23 @@ class AbilityDef(AstNode):
     def __init__(
         self,
         doc: Optional[Token],
-        target: Optional[DottedNameList],
-        ability: ArchRef,
+        target: ArchRefChain,
         signature: FuncSignature | EventSignature,
         body: CodeBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize ability def node."""
         self.doc = doc
         self.target = target
-        self.ability = ability
         self.signature = signature
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class EventSignature(AstNode):
@@ -409,12 +504,15 @@ class EventSignature(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize event signature node."""
         self.event = event
         self.arch_tag_info = arch_tag_info
         self.return_type = return_type
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class DottedNameList(AstNode):
@@ -422,15 +520,43 @@ class DottedNameList(AstNode):
 
     def __init__(
         self,
-        names: list[Token | SpecialVarRef | ArchRef | Name],
+        names: list[Token | SpecialVarRef | Name],
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize name list node."""
         self.names = names
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
+
+
+class ArchRefChain(AstNode):
+    """Arch ref list node type for Jac Ast."""
+
+    def __init__(
+        self,
+        archs: list[ArchRef],
+        parent: Optional[AstNode],
+        mod_link: Optional[Module],
+        kid: list[AstNode],
+        line: int,
+        sym_tab: Optional[SymbolTable] = None,
+    ) -> None:
+        """Initialize name list ."""
+        self.archs = archs
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
+
+    def py_resolve_name(self) -> str:
+        """Resolve name."""
+        return ".".join(
+            [f"({x.arch.value[1]}){x.py_resolve_name()}" for x in self.archs]
+        )
 
 
 class FuncSignature(AstNode):
@@ -444,11 +570,14 @@ class FuncSignature(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize method signature node."""
         self.params = params
         self.return_type = return_type
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class FuncParams(AstNode):
@@ -461,10 +590,13 @@ class FuncParams(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize method params node."""
         self.params = params
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ParamVar(AstNode):
@@ -480,13 +612,16 @@ class ParamVar(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize param var node."""
         self.name = name
         self.unpack = unpack
         self.type_tag = type_tag
         self.value = value
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Enum(OOPAccessNode):
@@ -496,7 +631,7 @@ class Enum(OOPAccessNode):
         self,
         name: Name,
         doc: Optional[Token],
-        decorators: Optional["Decorators"],
+        decorators: Optional[Decorators],
         access: Optional[Token],
         base_classes: "BaseClasses",
         body: Optional["EnumBlock"],
@@ -504,6 +639,7 @@ class Enum(OOPAccessNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize object arch node."""
         self.name = name
@@ -512,7 +648,12 @@ class Enum(OOPAccessNode):
         self.base_classes = base_classes
         self.body = body
         super().__init__(
-            access=access, parent=parent, mod_link=mod_link, kid=kid, line=line
+            access=access,
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
         )
 
 
@@ -522,20 +663,21 @@ class EnumDef(AstNode):
     def __init__(
         self,
         doc: Optional[Token],
-        enum: ArchRef,
-        mod: Optional[DottedNameList],
+        target: ArchRefChain,
         body: EnumBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize arch def node."""
-        self.enum = enum
         self.doc = doc
-        self.mod = mod
+        self.target = target
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class EnumBlock(AstNode):
@@ -548,10 +690,13 @@ class EnumBlock(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize enum block node."""
         self.stmts = stmts
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ArchBlock(AstNode):
@@ -559,43 +704,48 @@ class ArchBlock(AstNode):
 
     def __init__(
         self,
-        members: list["ArchHas | Ability"],
+        members: list[ArchHas | Ability],
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize arch block node."""
         self.members = members
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ArchHas(OOPAccessNode):
     """HasStmt node type for Jac Ast."""
 
-    counter: int = 1
-
     def __init__(
         self,
         doc: Optional[Token],
         is_static: bool,
         access: Optional[Token],
-        vars: "HasVarList",
+        vars: HasVarList,
         is_frozen: bool,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize has statement node."""
         self.doc = doc
         self.is_static = is_static
         self.vars = vars
         self.is_frozen = is_frozen
-        self.h_id = ArchHas.counter
-        ArchHas.counter += 1
         super().__init__(
-            access=access, parent=parent, mod_link=mod_link, kid=kid, line=line
+            access=access,
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
         )
 
 
@@ -609,10 +759,13 @@ class HasVarList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize has var list node."""
         self.vars = vars
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class HasVar(AstNode):
@@ -627,12 +780,15 @@ class HasVar(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize has var node."""
         self.name = name
         self.type_tag = type_tag
         self.value = value
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class TypeSpecList(AstNode):
@@ -645,10 +801,13 @@ class TypeSpecList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize type list node."""
         self.types = types
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class TypeSpec(AstNode):
@@ -664,13 +823,16 @@ class TypeSpec(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize type spec node."""
         self.spec_type = spec_type
         self.list_nest = list_nest
         self.dict_nest = dict_nest
         self.null_ok = null_ok
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class CodeBlock(AstNode):
@@ -683,10 +845,13 @@ class CodeBlock(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize code block node."""
         self.stmts = stmts
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class TypedCtxBlock(AstNode):
@@ -700,11 +865,14 @@ class TypedCtxBlock(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize typed context block node."""
         self.type_ctx = type_ctx
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class IfStmt(AstNode):
@@ -720,13 +888,16 @@ class IfStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize if statement node."""
         self.condition = condition
         self.body = body
         self.elseifs = elseifs
         self.else_body = else_body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ElseIfs(AstNode):
@@ -739,10 +910,13 @@ class ElseIfs(AstNode):
         mod_link: Optional[Module],
         kid: list["IfStmt"],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize elseifs node."""
         self.elseifs = elseifs
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ElseStmt(AstNode):
@@ -755,10 +929,13 @@ class ElseStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize else node."""
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class TryStmt(AstNode):
@@ -773,12 +950,15 @@ class TryStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize try statement node."""
         self.body = body
         self.excepts = excepts
         self.finally_body = finally_body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ExceptList(AstNode):
@@ -791,10 +971,13 @@ class ExceptList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize excepts node."""
         self.excepts = excepts
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Except(AstNode):
@@ -809,12 +992,15 @@ class Except(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize except node."""
         self.ex_type = ex_type
         self.name = name
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class FinallyStmt(AstNode):
@@ -827,10 +1013,13 @@ class FinallyStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize finally statement node."""
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class IterForStmt(AstNode):
@@ -838,21 +1027,24 @@ class IterForStmt(AstNode):
 
     def __init__(
         self,
-        iter: "Assignment",
+        iter: Assignment,
         condition: ExprType,
         count_by: ExprType,
-        body: "CodeBlock",
+        body: CodeBlock,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize iter for node."""
         self.iter = iter
         self.condition = condition
         self.count_by = count_by
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class InForStmt(AstNode):
@@ -867,12 +1059,15 @@ class InForStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize in for node."""
         self.name_list = name_list
         self.collection = collection
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class NameList(AstNode):
@@ -885,10 +1080,13 @@ class NameList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize name list node."""
         self.names = names
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class WhileStmt(AstNode):
@@ -902,11 +1100,14 @@ class WhileStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize while statement node."""
         self.condition = condition
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class WithStmt(AstNode):
@@ -920,11 +1121,14 @@ class WithStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize with statement node."""
         self.exprs = exprs
         self.body = body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ExprAsItemList(AstNode):
@@ -937,10 +1141,13 @@ class ExprAsItemList(AstNode):
         mod_link: Optional[Module],
         kid: list["ExprAsItem"],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize module items node."""
         self.items = items
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ExprAsItem(AstNode):
@@ -954,11 +1161,14 @@ class ExprAsItem(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize module item node."""
         self.expr = expr
         self.alias = alias
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class RaiseStmt(AstNode):
@@ -971,10 +1181,13 @@ class RaiseStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize raise statement node."""
         self.cause = cause
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class AssertStmt(AstNode):
@@ -988,11 +1201,14 @@ class AssertStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize assert statement node."""
         self.condition = condition
         self.error_msg = error_msg
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class CtrlStmt(AstNode):
@@ -1005,10 +1221,13 @@ class CtrlStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize control statement node."""
         self.ctrl = ctrl
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class DeleteStmt(AstNode):
@@ -1021,10 +1240,13 @@ class DeleteStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize delete statement node."""
         self.target = target
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ReportStmt(AstNode):
@@ -1037,10 +1259,13 @@ class ReportStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize report statement node."""
         self.expr = expr
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ReturnStmt(AstNode):
@@ -1053,10 +1278,13 @@ class ReturnStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize return statement node."""
         self.expr = expr
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class YieldStmt(AstNode):
@@ -1069,10 +1297,13 @@ class YieldStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize yeild statement node."""
         self.expr = expr
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class IgnoreStmt(AstNode):
@@ -1085,15 +1316,35 @@ class IgnoreStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
-        from_walker: bool = False,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize ignore statement node."""
         self.target = target
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
+
+
+class WalkerStmtOnlyNode(AstNode):
+    """WalkerStmtOnlyNode node type for Jac Ast."""
+
+    def __init__(
+        self,
+        parent: Optional[AstNode],
+        mod_link: Optional[Module],
+        kid: list[AstNode],
+        line: int,
+        sym_tab: Optional[SymbolTable] = None,
+        from_walker: bool = False,
+    ) -> None:
+        """Initialize walker statement only node."""
         self.from_walker = from_walker
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
-class VisitStmt(AstNode):
+class VisitStmt(WalkerStmtOnlyNode):
     """VisitStmt node type for Jac Ast."""
 
     def __init__(
@@ -1105,17 +1356,24 @@ class VisitStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         from_walker: bool = False,
     ) -> None:
         """Initialize visit statement node."""
         self.vis_type = vis_type
         self.target = target
         self.else_body = else_body
-        self.from_walker = from_walker
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
+            from_walker=from_walker,
+        )
 
 
-class RevisitStmt(AstNode):
+class RevisitStmt(WalkerStmtOnlyNode):
     """ReVisitStmt node type for Jac Ast."""
 
     def __init__(
@@ -1126,14 +1384,23 @@ class RevisitStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
+        from_walker: bool = False,
     ) -> None:
         """Initialize revisit statement node."""
         self.hops = hops
         self.else_body = else_body
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
+            from_walker=from_walker,
+        )
 
 
-class DisengageStmt(AstNode):
+class DisengageStmt(WalkerStmtOnlyNode):
     """DisengageStmt node type for Jac Ast."""
 
     def __init__(
@@ -1142,11 +1409,18 @@ class DisengageStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         from_walker: bool = False,
     ) -> None:
         """Initialize disengage statement node."""
-        self.from_walker = from_walker
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
+            from_walker=from_walker,
+        )
 
 
 class AwaitStmt(AstNode):
@@ -1159,10 +1433,13 @@ class AwaitStmt(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize sync statement node."""
         self.target = target
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Assignment(AstNode):
@@ -1171,20 +1448,23 @@ class Assignment(AstNode):
     def __init__(
         self,
         is_static: bool,
-        target: "AtomType",
+        target: AtomType,
         value: ExprType,
         mutable: bool,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize assignment node."""
         self.is_static = is_static
         self.target = target
         self.value = value
         self.mutable = mutable
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class BinaryExpr(AstNode):
@@ -1199,12 +1479,15 @@ class BinaryExpr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize binary expression node."""
         self.left = left
         self.right = right
         self.op = op
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class IfElseExpr(AstNode):
@@ -1219,12 +1502,15 @@ class IfElseExpr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize if else expression node."""
         self.condition = condition
         self.value = value
         self.else_value = else_value
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class UnaryExpr(AstNode):
@@ -1238,11 +1524,14 @@ class UnaryExpr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize unary expression node."""
         self.operand = operand
         self.op = op
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class UnpackExpr(AstNode):
@@ -1256,11 +1545,14 @@ class UnpackExpr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize unpack expression node."""
         self.target = target
         self.is_dict = is_dict
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class MultiString(AstNode):
@@ -1273,10 +1565,13 @@ class MultiString(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize multi string expression node."""
         self.strings = strings
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ExprList(AstNode):
@@ -1289,10 +1584,13 @@ class ExprList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize expr value node."""
         self.values = values
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ListVal(ExprList):
@@ -1315,12 +1613,15 @@ class TupleVal(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize tuple value node."""
         self.first_expr = first_expr
         self.exprs = exprs
         self.assigns = assigns
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class DictVal(AstNode):
@@ -1333,10 +1634,13 @@ class DictVal(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize dict expression node."""
         self.kv_pairs = kv_pairs
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class InnerCompr(AstNode):
@@ -1355,6 +1659,7 @@ class InnerCompr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize comprehension expression node."""
         self.out_expr = out_expr
@@ -1364,7 +1669,10 @@ class InnerCompr(AstNode):
         self.is_list = is_list
         self.is_gen = is_gen
         self.is_set = is_set
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class DictCompr(AstNode):
@@ -1381,6 +1689,7 @@ class DictCompr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize comprehension expression node."""
         self.outk_expr = outk_expr
@@ -1388,7 +1697,9 @@ class DictCompr(AstNode):
         self.name_list = name_list
         self.collection = collection
         self.conditional = conditional
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class KVPair(AstNode):
@@ -1402,11 +1713,14 @@ class KVPair(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize key value pair expression node."""
         self.key = key
         self.value = value
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class AtomTrailer(AstNode):
@@ -1414,19 +1728,22 @@ class AtomTrailer(AstNode):
 
     def __init__(
         self,
-        target: "AtomType",
-        right: "IndexSlice | ArchRef | Token",
+        target: AtomType,
+        right: IndexSlice | ArchRef | Token,
         null_ok: bool,
         parent: Optional[AstNode],
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize atom trailer expression node."""
         self.target = target
         self.right = right
         self.null_ok = null_ok
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class FuncCall(AstNode):
@@ -1440,11 +1757,14 @@ class FuncCall(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize function call expression node."""
         self.target = target
         self.params = params
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ParamList(AstNode):
@@ -1458,11 +1778,14 @@ class ParamList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize parameter list expression node."""
         self.p_args = p_args
         self.p_kwargs = p_kwargs
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class AssignmentList(AstNode):
@@ -1475,10 +1798,13 @@ class AssignmentList(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize expr value node."""
         self.values = values
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class IndexSlice(AstNode):
@@ -1493,12 +1819,15 @@ class IndexSlice(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize index slice expression node."""
         self.start = start
         self.stop = stop
         self.is_range = is_range
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class ArchRef(AstNode):
@@ -1512,11 +1841,14 @@ class ArchRef(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize global reference expression node."""
         self.name_ref = name_ref
         self.arch = arch
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
     def py_resolve_name(self) -> str:
         """Resolve name."""
@@ -1538,10 +1870,13 @@ class SpecialVarRef(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize special var reference expression node."""
         self.var = var
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
     def py_resolve_name(self) -> str:
         """Resolve name."""
@@ -1559,7 +1894,7 @@ class SpecialVarRef(AstNode):
             raise NotImplementedError("ICE: Special var reference not implemented")
 
 
-class EdgeOpRef(AstNode):
+class EdgeOpRef(WalkerStmtOnlyNode):
     """EdgeOpRef node type for Jac Ast."""
 
     def __init__(
@@ -1571,14 +1906,21 @@ class EdgeOpRef(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
         from_walker: bool = False,
     ) -> None:
         """Initialize edge op reference expression node."""
         self.filter_type = filter_type
         self.filter_cond = filter_cond
         self.edge_dir = edge_dir
-        self.from_walker = from_walker
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent,
+            mod_link=mod_link,
+            kid=kid,
+            line=line,
+            sym_tab=sym_tab,
+            from_walker=from_walker,
+        )
 
 
 class DisconnectOp(EdgeOpRef):
@@ -1597,12 +1939,15 @@ class ConnectOp(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize connect op reference expression node."""
         self.conn_type = conn_type
         self.conn_assign = conn_assign
         self.edge_dir = edge_dir
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class FilterCompr(AstNode):
@@ -1615,10 +1960,13 @@ class FilterCompr(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize filter_cond context expression node."""
         self.compares = compares
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class FString(AstNode):
@@ -1631,64 +1979,19 @@ class FString(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize fstring expression node."""
         self.parts = parts
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
-
-
-AtomType = Union[
-    MultiString,
-    ListVal,
-    TupleVal,
-    SetVal,
-    DictVal,
-    InnerCompr,
-    DictCompr,
-    AtomTrailer,
-    EdgeOpRef,
-    FilterCompr,
-]
-
-ExprType = Union[
-    UnaryExpr,
-    BinaryExpr,
-    IfElseExpr,
-    UnpackExpr,
-    AtomType,
-]
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
-StmtType = Union[
-    Import,
-    Architype,
-    Ability,
-    Assignment,
-    ExprType,
-    IfStmt,
-    TryStmt,
-    IterForStmt,
-    InForStmt,
-    WhileStmt,
-    WithStmt,
-    RaiseStmt,
-    AssertStmt,
-    CtrlStmt,
-    DeleteStmt,
-    ReportStmt,
-    ReturnStmt,
-    YieldStmt,
-    AwaitStmt,
-    DisengageStmt,
-    RevisitStmt,
-    VisitStmt,
-    IgnoreStmt,
-]
-
 # AST Parse-Tree Node Types
-# --------------------------
 
 
+# --------------------------
 class Parse(AstNode):
     """Parse node type for Jac Ast."""
 
@@ -1699,10 +2002,17 @@ class Parse(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize parse."""
         self.name = name
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
+
+    def __repr__(self) -> str:
+        """Return string representation of parse node."""
+        return super().__repr__() + f" ({self.name})" + " line: " + str(self.line)
 
 
 class Token(AstNode):
@@ -1718,13 +2028,16 @@ class Token(AstNode):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize token."""
         self.name = name
         self.value = value
         self.col_start = col_start
         self.col_end = col_end
-        super().__init__(parent=parent, mod_link=mod_link, kid=kid, line=line)
+        super().__init__(
+            parent=parent, mod_link=mod_link, kid=kid, line=line, sym_tab=sym_tab
+        )
 
 
 class Name(Token):
@@ -1741,6 +2054,7 @@ class Name(Token):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize name."""
         self.already_declared = already_declared
@@ -1753,6 +2067,7 @@ class Name(Token):
             mod_link=mod_link,
             kid=kid,
             line=line,
+            sym_tab=sym_tab,
         )
 
 
@@ -1770,6 +2085,7 @@ class Constant(Token):
         mod_link: Optional[Module],
         kid: list[AstNode],
         line: int,
+        sym_tab: Optional[SymbolTable] = None,
     ) -> None:
         """Initialize constant."""
         super().__init__(
@@ -1781,10 +2097,64 @@ class Constant(Token):
             mod_link=mod_link,
             kid=kid,
             line=line,
+            sym_tab=sym_tab,
         )
         self._typ = typ
 
 
+# Aggregate Types
+# ----------------
+
+
+AtomType = Union[
+    MultiString,
+    ListVal,
+    TupleVal,
+    SetVal,
+    DictVal,
+    InnerCompr,
+    DictCompr,
+    AtomTrailer,
+    EdgeOpRef,
+    FilterCompr,
+]
+
+ExprType = Union[
+    UnaryExpr,
+    BinaryExpr,
+    IfElseExpr,
+    UnpackExpr,
+    AtomType,
+]
+
+
+StmtType = Union[
+    Import,
+    Architype,
+    Ability,
+    Assignment,
+    ExprType,
+    IfStmt,
+    TryStmt,
+    IterForStmt,
+    InForStmt,
+    WhileStmt,
+    WithStmt,
+    RaiseStmt,
+    AssertStmt,
+    CtrlStmt,
+    DeleteStmt,
+    ReportStmt,
+    ReturnStmt,
+    YieldStmt,
+    AwaitStmt,
+    DisengageStmt,
+    RevisitStmt,
+    VisitStmt,
+    IgnoreStmt,
+]
+
+
 # Utiliiy functions
 # -----------------
 
@@ -1801,9 +2171,14 @@ def replace_node(node: AstNode, new_node: Optional[AstNode]) -> AstNode | None:
     return new_node
 
 
-def append_node(node: AstNode, new_node: Optional[AstNode]) -> AstNode | None:
+def append_node(
+    node: AstNode, new_node: Optional[AstNode], front: bool = False
+) -> AstNode | None:
     """Replace node with new_node."""
-    node.kid.append(new_node)
+    if front:
+        node.kid.insert(0, new_node)
+    else:
+        node.kid.append(new_node)
     if new_node:
         new_node.parent = node
     return new_node