class
	TEST

feature

	make
		require
			abc: good
			def: valid
			ghi: -- x > 0
				ok
		do
		ensure
			abc: good
			def: valid
			ghi: -- x > 0
		end

end