Simplify Array Processing Loops for Efficient Program Verification | IEEE Conference Publication | IEEE Xplore