LAV -find-first-flawed -loop-unroll-begin=1 -loop-unroll-end=0 -solver=Z3-BV-ARR-EUF 
//confirmed bugs 02b i 03b