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);
}
