class
	TEST1

feature

	test: BOOLEAN
		do
			Result := True
		end

invariant
	test: test

end