Test for Inspector Eiffel. Currently fails due to a bug in the tested rule.