LAV -find-first-flawed -loop-unroll-begin=3 -loop-unroll-end=0 -solver=Z3-LA-ARR-EUF 
//02a --- bug confirmed
//09a --- bug confirmed
//03a --- bug confirmed

