Again, I don't see the need for a simpler test case when there is another that only differs by the definition of an unrelated procedure definition.