small system to reproduce

check generated C code fro {BAR}.foo
no precondition code is generated

BUT in the feature tool, we have that output (there is an extra breakable slot)

	foo
			-- (from BAR)
		require -- from  FOO
			True
		require else -- from BAR
O			pre: pre
		do
O			print ("foo")
O			print ("bar%N")
O		end

It seems to me that "require else" are never generated in this case.
Which might be logical, since this is a "require else" and inherited missing precondition stands for  ... "True"

This shows that adding precondition when redefining a feature without any precondition is .. useless.