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