public override bool Visit(ContractDefinition node) { foreach (ASTNode child in node.Nodes) { if (child is VariableDeclaration varDecl) { Debug.Assert(varDecl.StateVariable, $"{varDecl.Name} is not a state variable"); // add all state variables to the context context.AddStateVarToContract(node, varDecl); } } return(false); }