OPTIONS: -s

;; bound value
TEST:
	X[i] = i where 0 <= i < N
RESULT:
	undefined

TEST:
globals
	val N : int
in
	X[i] = i where 0 <= i < N
end
RESULT:
	success

TEST:
parameters
	val N : int
in
	X[i] = i where 0 <= i < N
end
RESULT:
	success


;; function value
TEST:
parameters
	val N : int
in
	X[i] = f(i) where 0 <= i < N
end
RESULT:
	undefined

TEST:
globals
	fun f (int) : int
parameters
	val N : int
in
	X[i] = f(i) where 0 <= i < N
end
RESULT:
	success



;; matrix value
TEST:
parameters
	val N : int
in
	X[i] = M[i] where 0 <= i < N
end
RESULT:
	undefined

TEST:
globals
	matrix M [1] : int
parameters
	val N : int
in
	X[i] = M[i] where 0 <= i < N
end
RESULT:
	success


;; strict updates
OPTIONS: -su

TEST:
parameters
	val N : int
in
	X[i] = i where 0 <= i < N
end
RESULT:
	undefined

TEST:
parameters
	val N : int
	matrix X [1] : int
in
	X[i] = i where 0 <= i < N
end
RESULT:
	success