Rule parameters can now evaluate to locations.
This fixes a case, in which the compiler semantics did not much
the interpreter semantics.
More precisely:

rule A =
	seq
		f(3) := 4
	next
		B(f)

rule B(a) = print a(3)

will now be executed correctly