In the attached system, evaluating the guards causes an index out of range error
in verifyta. The error does not occur when refering to the global arrays
directly rather than the array parameters.
Bug was reported by Martin Instenberg on the public mailing list.
Created attachment 75 [details]
A fix is in CVS (I think the fix came in revision 1317).