class TEST
creation
	make
feature

	make is
		local
			b: like bool
		do
			if b then
			elseif b then
			end

			from
			until
				b
			loop
			end
		ensure
			my_boolean: my_boolean
		end

	my_boolean: like bool

	bool: BOOLEAN

end