class TEST1 [G -> ANY create default_create end]

invariant
	valid: (agent: ANY do end).item ([]) = Void
end