// "loop-instantiation-01.hac"
// addressing assertion failure during unroll
// contributed by Clint Kelly
// should fail unrolling

defproc c2(bool a, b, z) {
/**
prs {
a & b -> z+
~a & ~b -> z-
}
**/
}

(;b:4:
c2 celm[b];	// dies here (author meant celm[b..b])
	// should give error on bad range
	// when b = 0, [b] -> [0..-1], which reject
)


