public override bool Visit(VariableDeclaration node)
        {
            Debug.Assert(currentContract != null);

            if (node.TypeName is Mapping)
            {
                context.AddMappingtoContract(currentContract, node);
            }
            else if (node.TypeName is ArrayTypeName)
            {
                context.AddArrayToContract(currentContract, node);
            }
            return(false);
        }