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