I got the following report from Franck Cassez:

I noticed a strange behavior in the UPPAAL alpha release
(which is good because it is an alpha release ...)

Attached is the file I used. I used the MacOSX versions
of UPPAAL, 3.4.11 and 3.6 alpha.

	The problem:
		1) the guard in automaton node1 is a bool array to1[i]
		This array is initialized in the decls to {0,0,0,1}
		2) in 3.4.11, it is evaluated correctly (in the simulator);
		in the alpha release, the evaluation for i=0 seems to
		give "true" for to1[0] (in the simulator), but ... to1[0]=0

In the end, the simulation is different in the two versions. And I think
3.4.11 is the correct :-)