Be more lazy about generating array lemmas