anchor.diff:   INTEGER :: claw_induc1
    INTEGER :: j
   
  +
  +
    DO j = 0 , i , 1
     vec1 ( j ) = j
    END DO
  
positive.code: PROGRAM vector_loop
  
   CALL claw ( )
   CALL claw_transformed ( )
  
negative.code: SUBROUTINE claw ( )
   INTEGER :: j
   INTEGER :: vec1 ( 0 : 10 )
  
   INTEGER :: claw_induction_0
  
  
   DO j = 0 , 10 , 1
    vec1 ( j ) = j
  