class
	A

feature

	f is
		require
			s_not_empty: not s.is_empty
		do
		end

	s: STRING

end