PR# 17405 Resolving of "like argument" uses wrong context.

When "like arguments" are resolved, the context of the current routine is used, even if the like argument is of a different routine.

Use the following code:

	f (a: INTEGER): like a
		do
		end

	g (a: INTEGER; b: INTEGER): like b
		do
		end

	h (a: STRING)
		local
			x: like f
			y: like g
		do
			x.append ("?")
		end

"x" should be of type INTEGER (first argument of f), but the compiler is happy with the feature "append".
"y" makes the compiler crash, as it is looking for the second argument but in the context of "h" which only has one argument.

I'm not sure we will try to fix in the short term because anchors to arguments are not supported by the language anymore.