Run analyses to determine array length invariants.