Model M{ Node N{ ident : String {id}; } } // context m0 // verify // should raise an error of duplicated ids M m0{ N{ ident = "a"; } N{ ident = "a"; } }