try to integrate Coq loop unrolling:   ./scripts/run_tests.py tests/conv/ok/t_04.mil   => loops are unrolled, but constant-prop seems      to fail. Variables ‘vi.j’ represent variable      ‘i’ with var-info ‘j’. If we have        vi.1 =[inline] 10;        x[vi.2] = y[vi.3];      then this should be changed into        vi.1 =[inline] 10;        x[10] = y[10];      since the var-info should be ignored.
try to integrate Coq loop unrolling:
  ./scripts/run_tests.py tests/conv/ok/t_04.mil
  => loops are unrolled, but constant-prop seems
     to fail. Variables ‘vi.j’ represent variable
     ‘i’ with var-info ‘j’. If we have
       vi.1 =[inline] 10;
       x[vi.2] = y[vi.3];
     then this should be changed into
       vi.1 =[inline] 10;
       x[10] = y[10];
     since the var-info should be ignored.

jasmin-lang/jasmin,jasmin-lang/jasmin,jasmin-lang/jasmin