看到 http://alloytools.org/quickguide/meta.html
有一个元功能允许您“迭代”Atom的字段。
assert no_data_leaks { all f : Node$.subfields| f.value[Node] in Data }