Definite Assignment and Arrays