program INTERPOLATION

   implicit none

   integer, parameter , unit(n) :: N = 5

   real :: F,DF

   real, unit(x) :: X

   real, dimension (N) :: XI,FI

   data /XI/0.0,0.5,1.0,1.5,2.0

/FI/1.0,0.938470,0.765198,0.511828,0.223891

   
1
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 9}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 4}) [
    (VarName () "X",[])]) 
  (Con () 
    (SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 9}) "0.9")
lives: (in) 
AITKEN, N, XI, FI, F, DF
(out)
AITKEN, N, XI, FI, X, F, DF
indices:
successors:
5
arrays R:
arrays W:

   X = 0.9

   
5
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) 
  (Call () 
    (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 30}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 14}) [
      (VarName () "AITKEN",[])]) 
    (ArgList () 
      (ESeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) 
        (ESeq () 
          (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) 
          (ESeq () 
            (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) 
            (ESeq () 
              (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) 
              (ESeq () 
                (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 16}) [
                  (VarName () "N",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) [
                  (VarName () "XI",[])])) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 20},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) [
                (VarName () "FI",[])])) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) [
              (VarName () "X",[])])) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) [
            (VarName () "F",[])])) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) [
          (VarName () "DF",[])])))) 
  (Write () 
    (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [Number () 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10}) "6"),StringLit () "\"(3F16.8)\""] [Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 24}) [
    (VarName () "X",[])],Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 26}) [
    (VarName () "F",[])],Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [
    (VarName () "DF",[])]])
lives: (in) 
AITKEN, N, XI, FI, X, F, DF
(out)
AITKEN, N, XI, FI, X, F, DF
indices:
successors:
6
arrays R:
arrays W:

   
6
show ast
Call () 
  (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 30}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 14}) [
    (VarName () "AITKEN",[])]) 
  (ArgList () 
    (ESeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) 
      (ESeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) 
        (ESeq () 
          (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) 
          (ESeq () 
            (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) 
            (ESeq () 
              (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 16}) [
                (VarName () "N",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) [
                (VarName () "XI",[])])) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 20},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) [
              (VarName () "FI",[])])) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) [
            (VarName () "X",[])])) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) [
          (VarName () "F",[])])) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) [
        (VarName () "DF",[])])))
lives: (in) 
AITKEN, N, XI, FI, X, F, DF
(out)
X, F, DF
indices:
successors:
27
arrays R:
arrays W:

   call AITKEN(N,XI,FI,X,F,DF)

   
27
show ast
Write () 
  (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [Number () 
  (Con () 
    (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10}) "6"),StringLit () "\"(3F16.8)\""] [Var () 
  (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 24}) [
  (VarName () "X",[])],Var () 
  (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 26}) [
  (VarName () "F",[])],Var () 
  (SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [
  (VarName () "DF",[])]]
lives: (in) 
X, F, DF
(out)
indices:
successors:
arrays R:
arrays W:

   write (number = 6,'"(3F16.8)"') X,F,DF

end program INTERPOLATION

subroutine AITKEN(N,XI,FI,X,F,DF)

   integer, parameter , unit(n) :: NMAX = 21

   integer, intent(in)  :: N

   integer :: I,J

   real, intent(in)  :: X

   real, intent(out)  :: F,DF

   real :: X1,X2,F1,F2

   real, intent(in) , dimension (N) :: XI,FI

   real, dimension (NMAX) :: FT

   
1
show ast
If () 
  (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) 
  (Bin () 
    (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 15}) (RelGT ()) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 7}) [
      (VarName () "N",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 15}) [
      (VarName () "NMAX",[])])) 
  (Stop () 
    (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) 
    (ConS () 
      (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) "'Dimension of the data is too large.'")) [] Nothing
lives: (in) 
N, NMAX, X, FT(1), F2, F1
(out)
N, X, FT(1), F2, F1
indices:
successors:
8, 10
arrays R:
arrays W:

   if (N>NMAX) then

      
8
show ast
Stop () 
  (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) 
  (ConS () 
    (SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) "'Dimension of the data is too large.'")
lives: (in) 
(out)
indices:
successors:
arrays R:
arrays W:

      stop 'Dimension of the data is too large.'

   end if

   
10
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
  (For () 
    (SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}) 
    (VarName () "I") 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 10}) "1") 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13}) [
      (VarName () "N",[])]) 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13}) "1") 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
          (VarName () "FT",[Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
            (VarName () "I",[])]])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
          (VarName () "FI",[Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
            (VarName () "I",[])]])])) (NullStmt () 
      (SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})))) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
    (For () 
      (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}) 
      (VarName () "I") 
      (Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 10}) "1") 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) (Minus ()) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 13}) [
          (VarName () "N",[])]) 
        (Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1")) 
      (Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1") 
      (FSeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}) 
        (For () 
          (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
          (VarName () "J") 
          (Con () 
            (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1") 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
              (VarName () "N",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
              (VarName () "I",[])])) 
          (Con () 
            (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1") 
          (FSeq () 
            (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
            (Assg () 
              (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
                (VarName () "X1",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
                (VarName () "XI",[Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
                  (VarName () "J",[])]])])) 
            (FSeq () 
              (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
              (Assg () 
                (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
                  (VarName () "X2",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
                  (VarName () "XI",[Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
                      (VarName () "J",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
                      (VarName () "I",[])])])])) 
              (FSeq () 
                (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
                (Assg () 
                  (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
                    (VarName () "F1",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
                    (VarName () "FT",[Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
                      (VarName () "J",[])]])])) 
                (FSeq () 
                  (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
                  (Assg () 
                    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
                      (VarName () "F2",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
                      (VarName () "FT",[Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
                          (VarName () "J",[])]) 
                        (Con () 
                          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
                  (FSeq () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
                    (Assg () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
                      (Var () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                        (VarName () "FT",[Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
                          (VarName () "J",[])]])]) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
                        (Bin () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
                            (Bin () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                                (VarName () "X",[])]) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                                (VarName () "X1",[])])) 
                            (Bin () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                                (VarName () "X2",[])]) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                                (VarName () "X1",[])]))) 
                          (Var () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
                            (VarName () "F2",[])])) 
                        (Bin () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
                            (Bin () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                                (VarName () "X",[])]) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                                (VarName () "X2",[])])) 
                            (Bin () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                                (VarName () "X1",[])]) 
                              (Var () 
                                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                                (VarName () "X2",[])]))) 
                          (Var () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                            (VarName () "F1",[])])))) (NullStmt () 
                    (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt () 
        (SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})))) 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
          (VarName () "F",[])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
          (VarName () "FT",[Con () 
            (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])])) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
          (VarName () "DF",[])]) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
              (VarName () "ABS",[Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
                  (VarName () "F",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
                  (VarName () "F1",[])])])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
              (VarName () "ABS",[Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
                  (VarName () "F",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
                  (VarName () "F2",[])])])])) 
          (Con () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0")))))
lives: (in) 
N, X, FT(1), F2, F1
(out)
N, X, FT(1), F2, F1
indices:
I, J
successors:
11
arrays R:
arrays W:

   
11
show ast
For (A {indices = ["I"], lives = ([N,X,FT(1),F2,F1],[I,N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 11, refactored = Nothing, successorStmts = [17,28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 12, refactored = Nothing, successorStmts = [], newNode = False}) "I") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 13, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 10}) "1") (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 14, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 15, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 16, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13}) "1") (FSeq (A {indices = [], lives = ([I,N,X,FT(1),F2,F1],[I,N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 17, refactored = Nothing, successorStmts = [18,28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8}) (Assg (A {indices = [], lives = ([I,N,X,FT(1),F2,F1],[N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 18, refactored = Nothing, successorStmts = [27], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 19, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 20, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 21, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 8}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 22, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])]])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 23, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 24, refactored = Nothing, successorStmts = [], newNode = False}) "FI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 25, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 26, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])]])])) (NullStmt (A {indices = [], lives = ([N,X,FT(1),F2,F1],[N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 27, refactored = Nothing, successorStmts = [28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8})))
lives: (in) 
N, X, FT(1), F2, F1
(out)
I, N, X, FT(1), F2, F1
indices:
I
successors:
17, 28
arrays R:
arrays W:

   do I = 1, N, 1

      
17
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
      (VarName () "FT",[Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
        (VarName () "I",[])]])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
      (VarName () "FI",[Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
        (VarName () "I",[])]])])) (NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}))
lives: (in) 
I, N, X, FT(1), F2, F1
(out)
I, N, X, FT(1), F2, F1
indices:
successors:
18, 28
arrays R:
arrays W:

      
18
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
    (VarName () "FT",[Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
      (VarName () "I",[])]])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
    (VarName () "FI",[Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
      (VarName () "I",[])]])])
lives: (in) 
I, N, X, FT(1), F2, F1
(out)
N, X, FT(1), F2, F1
indices:
successors:
27
arrays R:
arrays W:

      FT(I) = FI(I)

      
27
show ast
NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})
lives: (in) 
N, X, FT(1), F2, F1
(out)
N, X, FT(1), F2, F1
indices:
successors:
28
arrays R:
arrays W:

   end do

   
28
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
  (For () 
    (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}) 
    (VarName () "I") 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 10}) "1") 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) (Minus ()) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 13}) [
        (VarName () "N",[])]) 
      (Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1")) 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1") 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}) 
      (For () 
        (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
        (VarName () "J") 
        (Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1") 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
            (VarName () "N",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
            (VarName () "I",[])])) 
        (Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1") 
        (FSeq () 
          (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
          (Assg () 
            (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
              (VarName () "X1",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
              (VarName () "XI",[Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
                (VarName () "J",[])]])])) 
          (FSeq () 
            (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
            (Assg () 
              (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
                (VarName () "X2",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
                (VarName () "XI",[Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
                    (VarName () "J",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
                    (VarName () "I",[])])])])) 
            (FSeq () 
              (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
              (Assg () 
                (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
                  (VarName () "F1",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
                  (VarName () "FT",[Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
                    (VarName () "J",[])]])])) 
              (FSeq () 
                (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
                (Assg () 
                  (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
                    (VarName () "F2",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
                    (VarName () "FT",[Bin () 
                      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
                      (Var () 
                        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
                        (VarName () "J",[])]) 
                      (Con () 
                        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
                (FSeq () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
                  (Assg () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                      (VarName () "FT",[Var () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
                        (VarName () "J",[])]])]) 
                    (Bin () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
                        (Bin () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                              (VarName () "X",[])]) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                              (VarName () "X1",[])])) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                              (VarName () "X2",[])]) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                              (VarName () "X1",[])]))) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
                          (VarName () "F2",[])])) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
                        (Bin () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                              (VarName () "X",[])]) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                              (VarName () "X2",[])])) 
                          (Bin () 
                            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                              (VarName () "X1",[])]) 
                            (Var () 
                              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                              (VarName () "X2",[])]))) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                          (VarName () "F1",[])])))) (NullStmt () 
                  (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt () 
      (SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})))) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
        (VarName () "F",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
        (VarName () "FT",[Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])])) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
        (VarName () "DF",[])]) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
            (VarName () "ABS",[Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
                (VarName () "F",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
                (VarName () "F1",[])])])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
            (VarName () "ABS",[Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
                (VarName () "F",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
                (VarName () "F2",[])])])])) 
        (Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0"))))
lives: (in) 
N, X, FT(1), F2, F1
(out)
N, X, FT(1), F2, F1
indices:
I, J
successors:
29
arrays R:
arrays W:

   
29
show ast
For (A {indices = ["I","J"], lives = ([N,X,FT(1),F2,F1],[N,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 29, refactored = Nothing, successorStmts = [38,134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 30, refactored = Nothing, successorStmts = [], newNode = False}) "I") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 31, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 10}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 32, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 33, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 34, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 13}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 35, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 36, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) "1")) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 37, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) "1") (FSeq (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[N,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 38, refactored = Nothing, successorStmts = [39,134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8}) (For (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 39, refactored = Nothing, successorStmts = [49,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 40, refactored = Nothing, successorStmts = [], newNode = False}) "J") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 41, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 12}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 42, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 43, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 44, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 45, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 46, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 47, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 48, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) "1") (FSeq (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 49, refactored = Nothing, successorStmts = [50,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 50, refactored = Nothing, successorStmts = [57], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 51, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 52, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 53, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 54, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 55, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 56, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 57, refactored = Nothing, successorStmts = [58,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 58, refactored = Nothing, successorStmts = [69], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 59, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 60, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 61, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 62, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 63, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 64, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 65, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 66, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 67, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 68, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 69, refactored = Nothing, successorStmts = [70,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 70, refactored = Nothing, successorStmts = [77], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 71, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 72, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 73, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 74, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 75, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 76, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 77, refactored = Nothing, successorStmts = [78,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 78, refactored = Nothing, successorStmts = [88], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 79, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 80, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 81, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 82, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 83, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 84, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 85, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 86, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 87, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) "1")])])) (FSeq (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 88, refactored = Nothing, successorStmts = [89,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 89, refactored = Nothing, successorStmts = [132], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 90, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 91, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 92, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 10}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 93, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])]) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 94, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 95, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 96, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 97, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 98, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 99, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 100, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 101, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 102, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 103, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 104, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 105, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 106, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 107, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 108, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 24}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 109, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 110, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 111, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 112, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 113, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 114, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 115, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 116, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 117, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 118, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 119, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 120, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 34}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 121, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 122, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 123, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 124, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 125, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 126, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 42}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 127, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 128, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 129, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 130, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 131, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])])))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 132, refactored = Nothing, successorStmts = [133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10})))))))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 133, refactored = Nothing, successorStmts = [134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8})))
lives: (in) 
N, X, FT(1), F2, F1
(out)
N, I, X, FT(1), F2, F1
indices:
I, J
successors:
38, 134
arrays R:
arrays W:

   do I = 1, N-1, 1

      
38
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}) 
  (For () 
    (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
    (VarName () "J") 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1") 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ()) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
        (VarName () "N",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
        (VarName () "I",[])])) 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1") 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
          (VarName () "X1",[])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
          (VarName () "XI",[Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
            (VarName () "J",[])]])])) 
      (FSeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
        (Assg () 
          (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
            (VarName () "X2",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
            (VarName () "XI",[Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
                (VarName () "J",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
                (VarName () "I",[])])])])) 
        (FSeq () 
          (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
          (Assg () 
            (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
              (VarName () "F1",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
              (VarName () "FT",[Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
                (VarName () "J",[])]])])) 
          (FSeq () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
            (Assg () 
              (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
                (VarName () "F2",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
                (VarName () "FT",[Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
                    (VarName () "J",[])]) 
                  (Con () 
                    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
            (FSeq () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
              (Assg () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                  (VarName () "FT",[Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
                    (VarName () "J",[])]])]) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
                    (Bin () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                          (VarName () "X",[])]) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                          (VarName () "X1",[])])) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                          (VarName () "X2",[])]) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                          (VarName () "X1",[])]))) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
                      (VarName () "F2",[])])) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
                    (Bin () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                          (VarName () "X",[])]) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                          (VarName () "X2",[])])) 
                      (Bin () 
                        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                          (VarName () "X1",[])]) 
                        (Var () 
                          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                          (VarName () "X2",[])]))) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                      (VarName () "F1",[])])))) (NullStmt () 
              (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}))
lives: (in) 
N, I, X, FT(1), F2, F1
(out)
N, I, X, FT(1), F2, F1
indices:
J
successors:
39, 134
arrays R:
arrays W:

      
39
show ast
For (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 39, refactored = Nothing, successorStmts = [49,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 40, refactored = Nothing, successorStmts = [], newNode = False}) "J") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 41, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 12}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 42, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 43, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 44, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 45, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 46, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 47, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 48, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) "1") (FSeq (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 49, refactored = Nothing, successorStmts = [50,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 50, refactored = Nothing, successorStmts = [57], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 51, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 52, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 53, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 54, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 55, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 56, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 57, refactored = Nothing, successorStmts = [58,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 58, refactored = Nothing, successorStmts = [69], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 59, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 60, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 61, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 62, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 63, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 64, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 65, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 66, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 67, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 68, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 69, refactored = Nothing, successorStmts = [70,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 70, refactored = Nothing, successorStmts = [77], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 71, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 72, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 73, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 74, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 75, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 76, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 77, refactored = Nothing, successorStmts = [78,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 78, refactored = Nothing, successorStmts = [88], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 79, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 80, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 81, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 82, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 83, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 84, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 85, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 86, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 87, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) "1")])])) (FSeq (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 88, refactored = Nothing, successorStmts = [89,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 89, refactored = Nothing, successorStmts = [132], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 90, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 91, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 92, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 10}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 93, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])]) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 94, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 95, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 96, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 97, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 98, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 99, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 100, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 101, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 102, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 103, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 104, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 105, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 106, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 107, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 108, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 24}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 109, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 110, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 111, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 112, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 113, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 114, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 115, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 116, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 117, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 118, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 119, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 120, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 34}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 121, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 122, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 123, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 124, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 125, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 126, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 42}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 127, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 128, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 129, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 130, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 131, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])])))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 132, refactored = Nothing, successorStmts = [133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10})))))))
lives: (in) 
N, I, X, FT(1), F2, F1
(out)
J, I, X, FT(1), F2, F1
indices:
J
successors:
49, 133
arrays R:
arrays W:

      do J = 1, N-I, 1

         
49
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
      (VarName () "X1",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
      (VarName () "XI",[Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
        (VarName () "J",[])]])])) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
        (VarName () "X2",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
        (VarName () "XI",[Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
            (VarName () "J",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
            (VarName () "I",[])])])])) 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
          (VarName () "F1",[])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
          (VarName () "FT",[Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
            (VarName () "J",[])]])])) 
      (FSeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
        (Assg () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
            (VarName () "F2",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
            (VarName () "FT",[Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
                (VarName () "J",[])]) 
              (Con () 
                (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
        (FSeq () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
          (Assg () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
              (VarName () "FT",[Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
                (VarName () "J",[])]])]) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                      (VarName () "X",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                      (VarName () "X1",[])])) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                      (VarName () "X2",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                      (VarName () "X1",[])]))) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
                  (VarName () "F2",[])])) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                      (VarName () "X",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                      (VarName () "X2",[])])) 
                  (Bin () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                      (VarName () "X1",[])]) 
                    (Var () 
                      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                      (VarName () "X2",[])]))) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                  (VarName () "F1",[])])))) (NullStmt () 
          (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))))))
lives: (in) 
J, I, X, FT(1), F2, F1
(out)
J, I, X, FT(1), F2, F1
indices:
successors:
50, 133
arrays R:
arrays W:

         
50
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
    (VarName () "X1",[])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
    (VarName () "XI",[Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
      (VarName () "J",[])]])])
lives: (in) 
J, I, X, FT(1), F2, F1
(out)
J, I, X, X1, FT(1), F2, F1
indices:
successors:
57
arrays R:
arrays W:

         X1 = XI(J)

         
57
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
      (VarName () "X2",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
      (VarName () "XI",[Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
          (VarName () "J",[])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
          (VarName () "I",[])])])])) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
        (VarName () "F1",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
        (VarName () "FT",[Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
          (VarName () "J",[])]])])) 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
          (VarName () "F2",[])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
          (VarName () "FT",[Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
              (VarName () "J",[])]) 
            (Con () 
              (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
      (FSeq () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
        (Assg () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
            (VarName () "FT",[Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
              (VarName () "J",[])]])]) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                    (VarName () "X",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                    (VarName () "X1",[])])) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                    (VarName () "X2",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                    (VarName () "X1",[])]))) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
                (VarName () "F2",[])])) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                    (VarName () "X",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                    (VarName () "X2",[])])) 
                (Bin () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                    (VarName () "X1",[])]) 
                  (Var () 
                    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                    (VarName () "X2",[])]))) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
                (VarName () "F1",[])])))) (NullStmt () 
        (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))
lives: (in) 
J, I, X, X1, FT(1), F2, F1
(out)
J, I, X, X1, FT(1), F2, F1
indices:
successors:
58, 133
arrays R:
arrays W:

         
58
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
    (VarName () "X2",[])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
    (VarName () "XI",[Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ()) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
        (VarName () "J",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
        (VarName () "I",[])])])])
lives: (in) 
J, I, X, X1, FT(1), F2, F1
(out)
J, X, X1, X2, FT(1), F2, F1
indices:
successors:
69
arrays R:
arrays W:

         X2 = XI(J+I)

         
69
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
      (VarName () "F1",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
      (VarName () "FT",[Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
        (VarName () "J",[])]])])) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
        (VarName () "F2",[])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
        (VarName () "FT",[Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
            (VarName () "J",[])]) 
          (Con () 
            (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
    (FSeq () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
      (Assg () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
          (VarName () "FT",[Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
            (VarName () "J",[])]])]) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                  (VarName () "X",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                  (VarName () "X1",[])])) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                  (VarName () "X2",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                  (VarName () "X1",[])]))) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
              (VarName () "F2",[])])) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                  (VarName () "X",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                  (VarName () "X2",[])])) 
              (Bin () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                  (VarName () "X1",[])]) 
                (Var () 
                  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                  (VarName () "X2",[])]))) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
              (VarName () "F1",[])])))) (NullStmt () 
      (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))))
lives: (in) 
J, X, X1, X2, FT(1), F2, F1
(out)
J, X, X1, X2, FT(1), F2, F1
indices:
successors:
70, 133
arrays R:
arrays W:

         
70
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
    (VarName () "F1",[])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
    (VarName () "FT",[Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
      (VarName () "J",[])]])])
lives: (in) 
J, X, X1, X2, FT(1), F2
(out)
J, X, X1, X2, F1, FT(1), F2
indices:
successors:
77
arrays R:
arrays W:

         F1 = FT(J)

         
77
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
      (VarName () "F2",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
      (VarName () "FT",[Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
          (VarName () "J",[])]) 
        (Con () 
          (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])) 
  (FSeq () 
    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
    (Assg () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
        (VarName () "FT",[Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
          (VarName () "J",[])]])]) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
                (VarName () "X",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
                (VarName () "X1",[])])) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
                (VarName () "X2",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
                (VarName () "X1",[])]))) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
            (VarName () "F2",[])])) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
                (VarName () "X",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
                (VarName () "X2",[])])) 
            (Bin () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
                (VarName () "X1",[])]) 
              (Var () 
                (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
                (VarName () "X2",[])]))) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
            (VarName () "F1",[])])))) (NullStmt () 
    (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))
lives: (in) 
J, X, X1, X2, F1, FT(1), F2
(out)
J, X, X1, X2, F1, FT(1), F2
indices:
successors:
78, 133
arrays R:
arrays W:

         
78
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
    (VarName () "F2",[])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
    (VarName () "FT",[Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ()) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
        (VarName () "J",[])]) 
      (Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])
lives: (in) 
J, X, X1, X2, F1, FT(1)
(out)
X, X1, X2, F2, F1, J, FT(1)
indices:
successors:
88
arrays R:
arrays W:

         F2 = FT(J+1)

         
88
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
      (VarName () "FT",[Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
        (VarName () "J",[])]])]) 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
              (VarName () "X",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
              (VarName () "X1",[])])) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
              (VarName () "X2",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
              (VarName () "X1",[])]))) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
          (VarName () "F2",[])])) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
              (VarName () "X",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
              (VarName () "X2",[])])) 
          (Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
              (VarName () "X1",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
              (VarName () "X2",[])]))) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
          (VarName () "F1",[])])))) (NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))
lives: (in) 
X, X1, X2, F2, F1, J, FT(1)
(out)
X, X1, X2, F2, F1, J, FT(1)
indices:
successors:
89, 133
arrays R:
arrays W:

         
89
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
    (VarName () "FT",[Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
      (VarName () "J",[])]])]) 
  (Bin () 
    (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ()) 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ()) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
            (VarName () "X",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
            (VarName () "X1",[])])) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
            (VarName () "X2",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
            (VarName () "X1",[])]))) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
        (VarName () "F2",[])])) 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ()) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ()) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
            (VarName () "X",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
            (VarName () "X2",[])])) 
        (Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
            (VarName () "X1",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
            (VarName () "X2",[])]))) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
        (VarName () "F1",[])])))
lives: (in) 
X, X1, X2, F2, F1, J, FT(1)
(out)
FT(1), F1, F2
indices:
successors:
132
arrays R:
arrays W:

         FT(J) = ((X-X1)/(X2-X1))*F2+((X-X2)/(X1-X2))*F1

         
132
show ast
NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
lives: (in) 
FT(1), F1, F2
(out)
FT(1), F1, F2
indices:
successors:
133
arrays R:
arrays W:

      end do

      
133
show ast
NullStmt () 
  (SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
lives: (in) 
FT(1), F1, F2
(out)
FT(1), F1, F2
indices:
successors:
134
arrays R:
arrays W:

   end do

   
134
show ast
FSeq () 
  (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
      (VarName () "F",[])]) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
      (VarName () "FT",[Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])])) 
  (Assg () 
    (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
    (Var () 
      (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
      (VarName () "DF",[])]) 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ()) 
      (Bin () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ()) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
          (VarName () "ABS",[Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
              (VarName () "F",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
              (VarName () "F1",[])])])]) 
        (Var () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
          (VarName () "ABS",[Bin () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ()) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
              (VarName () "F",[])]) 
            (Var () 
              (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
              (VarName () "F2",[])])])])) 
      (Con () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0")))
lives: (in) 
FT(1), F1, F2
(out)
FT(1), F1, F2
indices:
successors:
135
arrays R:
arrays W:

   
135
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
    (VarName () "F",[])]) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
    (VarName () "FT",[Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])])
lives: (in) 
FT(1), F1, F2
(out)
F, F1, F2
indices:
successors:
141
arrays R:
arrays W:

   F = FT(1)

   
141
show ast
Assg () 
  (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) 
  (Var () 
    (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
    (VarName () "DF",[])]) 
  (Bin () 
    (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ()) 
    (Bin () 
      (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ()) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
        (VarName () "ABS",[Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
            (VarName () "F",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
            (VarName () "F1",[])])])]) 
      (Var () 
        (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
        (VarName () "ABS",[Bin () 
          (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ()) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
            (VarName () "F",[])]) 
          (Var () 
            (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
            (VarName () "F2",[])])])])) 
    (Con () 
      (SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0"))
lives: (in) 
F, F1, F2
(out)
indices:
successors:
arrays R:
arrays W:

   DF = (ABS(F-F1)+ABS(F-F2))/2.0

end subroutine AITKEN