在运行谓词/函数后保留签名的值？

Question

我一直在使用Alloy开发一个项目，我创建了一个简单的添加函数，我不知道如何确保签名在运行后保持其值：

示例：

one sig c1,c2 extends Customer{}

run{
c1 = Create_customer[]
c2 = add_node[c1,node]
}

如果您对此有更多了解或有任何相关文档或示例，我将不胜感激。