PROGRAMS/ackermann.luc
parse error
Parse error, Line 36

Run-time error 103
File sexpr.icn; Line 360
string expected
offending value: &null
Traceback:
main(list_1 = [])
sexpr_parse("") from line 65 in luca_sem.icn
sexpr_match("lparen") from line 42 in sexpr.icn
sexpr_die("Cannot match lpa...",&null) from line 168 in sexpr.icn
{"SEXPR: Cannot ma..." || &null} from line 360 in sexpr.icn
PROGRAMS/euclid.luc
(
   (
      (11 ProcedureSy $MAIN 38 0 
         ()
         (21 22)
      0 0)
      (12 ProcedureSy E1 10 0 
         (13 14 15)
         ()
      0 0)
      (13 FormalSy a 3 1 1 0 9 0 1 VAL)
      (14 FormalSy b 3 1 1 0 9 0 2 VAL)
      (15 FormalSy R 3 1 1 0 9 0 3 VAR)
      (16 ProcedureSy E2 25 0 
         (17)
         (18 19 20)
      0 0)
      (17 FormalSy R 12 1 1 0 9 0 1 VAR)
      (18 VariableSy a 13 1 1 0 0)
      (19 VariableSy b 14 1 1 0 0)
      (20 VariableSy t 15 1 1 0 0)
      (21 VariableSy R1 27 0 1 0 0)
      (22 VariableSy R2 28 0 1 0 0)
   )
   (PROGRAM Euclid 38 
      (DECL 29 
         (PROCDECL E1 10 
            (DECL 3 
               (FORMALDECL a INTEGER VAL 3 13)
               (DECL 3 
                  (FORMALDECL b INTEGER VAL 3 14)
                  (DECL 3 
                     (FORMALDECL R INTEGER VAR 3 15)
                     (DECLNULL 3)
                  )
               )
            )
            (DECLNULL 4)
            (STAT 10 
               (IF2 9 
                  (BINARY "=" 5 
                     (VARREF b 5 
                        (DESNULL 5)
                     14 1)
                     (INTLIT 0 5 1)
                  5)
                  (STAT 7 
                     (ASSIGN 6 
                        (VARREF R 6 
                           (DESNULL 6)
                        15 1)
                        (VARREF a 6 
                           (DESNULL 6)
                        13 1)
                     )
                     (STATNULL 7)
                  )
                  (STAT 9 
                     (PROCCALL 8 
                        (VARREF E1 8 
                           (DESNULL 8)
                        12 8)
                        (ACTUAL 8 
                           (VARREF b 8 
                              (DESNULL 8)
                           14 1)
                           (ACTUAL 8 
                              (BINARY "%" 8 
                                 (VARREF a 8 
                                    (DESNULL 8)
                                 13 1)
                                 (VARREF b 8 
                                    (DESNULL 8)
                                 14 1)
                              1)
                              (ACTUAL 8 
                                 (VARREF R 8 
                                    (DESNULL 8)
                                 15 1)
                                 (ACTUALNULL 8)
                              15)
                           14)
                        13)
                     12)
                     (STATNULL 9)
                  )
               )
               (STATNULL 10)
            )
         12)
         (DECL 29 
            (PROCDECL E2 25 
               (DECL 12 
                  (FORMALDECL R INTEGER VAR 12 17)
                  (DECLNULL 12)
               )
               (DECL 16 
                  (VARDECL a INTEGER 13 18)
                  (DECL 16 
                     (VARDECL b INTEGER 14 19)
                     (DECL 16 
                        (VARDECL t INTEGER 15 20)
                        (DECLNULL 16)
                     )
                  )
               )
               (STAT 25 
                  (ASSIGN 17 
                     (VARREF a 17 
                        (DESNULL 17)
                     18 1)
                     (INTLIT 196418 17 1)
                  )
                  (STAT 25 
                     (ASSIGN 18 
                        (VARREF b 18 
                           (DESNULL 18)
                        19 1)
                        (INTLIT 317811 18 1)
                     )
                     (STAT 25 
                        (WHILE 23 
                           (BINARY "#" 19 
                              (VARREF b 19 
                                 (DESNULL 19)
                              19 1)
                              (INTLIT 0 19 1)
                           5)
                           (STAT 23 
                              (ASSIGN 20 
                                 (VARREF t 20 
                                    (DESNULL 20)
                                 20 1)
                                 (VARREF a 20 
                                    (DESNULL 20)
                                 18 1)
                              )
                              (STAT 23 
                                 (ASSIGN 21 
                                    (VARREF a 21 
                                       (DESNULL 21)
                                    18 1)
                                    (VARREF b 21 
                                       (DESNULL 21)
                                    19 1)
                                 )
                                 (STAT 23 
                                    (ASSIGN 22 
                                       (VARREF b 22 
                                          (DESNULL 22)
                                       19 1)
                                       (BINARY "%" 22 
                                          (VARREF t 22 
                                             (DESNULL 22)
                                          20 1)
                                          (VARREF b 22 
                                             (DESNULL 22)
                                          19 1)
                                       1)
                                    )
                                    (STATNULL 23)
                                 )
                              )
                           )
                        )
                        (STAT 25 
                           (ASSIGN 24 
                              (VARREF R 24 
                                 (DESNULL 24)
                              17 1)
                              (VARREF a 24 
                                 (DESNULL 24)
                              18 1)
                           )
                           (STATNULL 25)
                        )
                     )
                  )
               )
            16)
            (DECL 29 
               (VARDECL R1 INTEGER 27 21)
               (DECL 29 
                  (VARDECL R2 INTEGER 28 22)
                  (DECLNULL 29)
               )
            )
         )
      )
      (STAT 38 
         (PROCCALL 30 
            (VARREF E1 30 
               (DESNULL 30)
            12 8)
            (ACTUAL 30 
               (INTLIT 196418 30 1)
               (ACTUAL 30 
                  (INTLIT 317811 30 1)
                  (ACTUAL 30 
                     (VARREF R1 30 
                        (DESNULL 30)
                     21 1)
                     (ACTUALNULL 30)
                  15)
               14)
            13)
         12)
         (STAT 38 
            (PROCCALL 31 
               (VARREF E2 31 
                  (DESNULL 31)
               16 8)
               (ACTUAL 31 
                  (VARREF R2 31 
                     (DESNULL 31)
                  22 1)
                  (ACTUALNULL 31)
               17)
            16)
            (STAT 38 
               (IF2 36 
                  (BINARY "=" 32 
                     (VARREF R1 32 
                        (DESNULL 32)
                     21 1)
                     (VARREF R2 32 
                        (DESNULL 32)
                     22 1)
                  5)
                  (STAT 34 
                     (WRITE 33 
                        (STRINGLIT "SUCCEED" 33 4)
                     )
                     (STATNULL 34)
                  )
                  (STAT 36 
                     (WRITE 35 
                        (STRINGLIT "FAIL" 35 4)
                     )
                     (STATNULL 36)
                  )
               )
               (STAT 38 
                  (WRITELN 37)
                  (STATNULL 38)
               )
            )
         )
      )
   11)
)

PROGRAMS/fib.luc
ERROR (Line 5), Multiple declaration: 'F'
ERROR (Line 5), Multiple declaration: 'F'
(
   (
      (11 ProcedureSy $MAIN 44 0 
         ()
         (24 25 26 27)
      0 0)
      (12 ProcedureSy FIB1 13 0 
         (13 14)
         (15 16)
      0 0)
      (13 FormalSy I 2 1 1 0 9 0 1 VAL)
      (14 FormalSy F 2 1 1 0 9 0 2 VAR)
      (15 VariableSy F 3 1 1 0 0)
      (16 VariableSy F 4 1 1 0 0)
      (17 ProcedureSy FIB2 25 0 
         (18 19)
         (21 22 23)
      0 0)
      (18 FormalSy I 15 1 1 0 9 0 1 VAL)
      (19 FormalSy F 15 1 1 0 9 0 2 VAR)
      (20 TypeSy T 16 1 ArrayType 100 1 0)
      (21 VariableSy A 17 1 20 0 0)
      (22 VariableSy J 18 1 1 0 0)
      (23 VariableSy $0 23 1 1 0 0)
      (24 VariableSy i 27 0 1 0 0)
      (25 VariableSy F1 28 0 1 0 0)
      (26 VariableSy F2 29 0 1 0 0)
      (27 VariableSy Size 31 0 1 0 0)
   )
   (PROGRAM F 44 
      (DECL 32 
         (PROCDECL FIB1 13 
            (DECL 2 
               (FORMALDECL I INTEGER VAL 2 13)
               (DECL 2 
                  (FORMALDECL F INTEGER VAR 2 14)
                  (DECLNULL 2)
               )
            )
            (DECL 5 
               (VARDECL F INTEGER 3 15)
               (DECL 5 
                  (VARDECL F INTEGER 4 16)
                  (DECLNULL 5)
               )
            )
            (STAT 13 
               (IF2 12 
                  (BINARY ">" 6 
                     (VARREF I 6 
                        (DESNULL 6)
                     13 1)
                     (INTLIT 1 6 1)
                  5)
                  (STAT 10 
                     (PROCCALL 7 
                        (VARREF FIB1 7 
                           (DESNULL 7)
                        12 8)
                        (ACTUAL 7 
                           (BINARY "-" 7 
                              (VARREF I 7 
                                 (DESNULL 7)
                              13 1)
                              (INTLIT 1 7 1)
                           1)
                           (ACTUAL 7 
                              (VARREF F 7 
                                 (DESNULL 7)
                              15 1)
                              (ACTUALNULL 7)
                           14)
                        13)
                     12)
                     (STAT 10 
                        (PROCCALL 8 
                           (VARREF FIB1 8 
                              (DESNULL 8)
                           12 8)
                           (ACTUAL 8 
                              (BINARY "-" 8 
                                 (VARREF I 8 
                                    (DESNULL 8)
                                 13 1)
                                 (INTLIT 2 8 1)
                              1)
                              (ACTUAL 8 
                                 (VARREF F 8 
                                    (DESNULL 8)
                                 15 1)
                                 (ACTUALNULL 8)
                              14)
                           13)
                        12)
                        (STAT 10 
                           (ASSIGN 9 
                              (VARREF F 9 
                                 (DESNULL 9)
                              15 1)
                              (BINARY "+" 9 
                                 (VARREF F 9 
                                    (DESNULL 9)
                                 15 1)
                                 (VARREF F 9 
                                    (DESNULL 9)
                                 15 1)
                              1)
                           )
                           (STATNULL 10)
                        )
                     )
                  )
                  (STAT 12 
                     (ASSIGN 11 
                        (VARREF F 11 
                           (DESNULL 11)
                        15 1)
                        (INTLIT 1 11 1)
                     )
                     (STATNULL 12)
                  )
               )
               (STATNULL 13)
            )
         12)
         (DECL 32 
            (PROCDECL FIB2 25 
               (DECL 15 
                  (FORMALDECL I INTEGER VAL 15 18)
                  (DECL 15 
                     (FORMALDECL F INTEGER VAR 15 19)
                     (DECLNULL 15)
                  )
               )
               (DECL 19 
                  (ARRAYDECL T INTEGER 16 
                     (INTLIT 100 16 1)
                  20)
                  (DECL 19 
                     (VARDECL A T 17 21)
                     (DECL 19 
                        (VARDECL J INTEGER 18 22)
                        (DECLNULL 19)
                     )
                  )
               )
               (STAT 25 
                  (ASSIGN 20 
                     (VARREF A 20 
                        (INDEX 20 
                           (INTLIT 0 20 1)
                           (DESNULL 20)
                        20)
                     21 1)
                     (INTLIT 1 20 1)
                  )
                  (STAT 25 
                     (ASSIGN 20 
                        (VARREF A 20 
                           (INDEX 20 
                              (INTLIT 1 20 1)
                              (DESNULL 20)
                           20)
                        21 1)
                        (INTLIT 1 20 1)
                     )
                     (STAT 25 
                        (FOR J 23 
                           (INTLIT 2 21 1)
                           (VARREF I 21 
                              (DESNULL 21)
                           18 1)
                           (INTLIT 1 21 1)
                        1 
                           (STAT 23 
                              (ASSIGN 22 
                                 (VARREF A 22 
                                    (INDEX 22 
                                       (VARREF J 22 
                                          (DESNULL 22)
                                       22 1)
                                       (DESNULL 22)
                                    20)
                                 21 1)
                                 (BINARY "+" 22 
                                    (VARREF A 22 
                                       (INDEX 22 
                                          (BINARY "-" 22 
                                             (VARREF J 22 
                                                (DESNULL 22)
                                             22 1)
                                             (INTLIT 1 22 1)
                                          1)
                                          (DESNULL 22)
                                       20)
                                    21 1)
                                    (VARREF A 22 
                                       (INDEX 22 
                                          (BINARY "-" 22 
                                             (VARREF J 22 
                                                (DESNULL 22)
                                             22 1)
                                             (INTLIT 2 22 1)
                                          1)
                                          (DESNULL 22)
                                       20)
                                    21 1)
                                 1)
                              )
                              (STATNULL 23)
                           )
                        22 23)
                        (STAT 25 
                           (ASSIGN 24 
                              (VARREF F 24 
                                 (DESNULL 24)
                              19 1)
                              (VARREF A 24 
                                 (INDEX 24 
                                    (VARREF I 24 
                                       (DESNULL 24)
                                    18 1)
                                    (DESNULL 24)
                                 20)
                              21 1)
                           )
                           (STATNULL 25)
                        )
                     )
                  )
               )
            17)
            (DECL 32 
               (VARDECL i INTEGER 27 24)
               (DECL 32 
                  (VARDECL F1 INTEGER 28 25)
                  (DECL 32 
                     (VARDECL F2 INTEGER 29 26)
                     (DECL 32 
                        (VARDECL Size INTEGER 31 27)
                        (DECLNULL 32)
                     )
                  )
               )
            )
         )
      )
      (STAT 44 
         (ASSIGN 33 
            (VARREF Size 33 
               (DESNULL 33)
            27 1)
            (INTLIT 28 33 1)
         )
         (STAT 44 
            (PROCCALL 34 
               (VARREF FIB1 34 
                  (DESNULL 34)
               12 8)
               (ACTUAL 34 
                  (VARREF Size 34 
                     (DESNULL 34)
                  27 1)
                  (ACTUAL 34 
                     (VARREF F1 34 
                        (DESNULL 34)
                     25 1)
                     (ACTUALNULL 34)
                  14)
               13)
            12)
            (STAT 44 
               (PROCCALL 35 
                  (VARREF FIB2 35 
                     (DESNULL 35)
                  17 8)
                  (ACTUAL 35 
                     (VARREF Size 35 
                        (DESNULL 35)
                     27 1)
                     (ACTUAL 35 
                        (VARREF F2 35 
                           (DESNULL 35)
                        26 1)
                        (ACTUALNULL 35)
                     19)
                  18)
               17)
               (STAT 44 
                  (ASSIGN 36 
                     (VARREF i 36 
                        (DESNULL 36)
                     24 1)
                     (BINARY "-" 36 
                        (VARREF i 36 
                           (DESNULL 36)
                        24 1)
                        (INTLIT 1 36 1)
                     1)
                  )
                  (STAT 44 
                     (IF2 42 
                        (BINARY "=" 38 
                           (VARREF F1 38 
                              (DESNULL 38)
                           25 1)
                           (VARREF F2 38 
                              (DESNULL 38)
                           26 1)
                        5)
                        (STAT 40 
                           (WRITE 39 
                              (STRINGLIT "SUCCEED" 39 4)
                           )
                           (STATNULL 40)
                        )
                        (STAT 42 
                           (WRITE 41 
                              (STRINGLIT "FAIL" 41 4)
                           )
                           (STATNULL 42)
                        )
                     )
                     (STAT 44 
                        (WRITELN 43)
                        (STATNULL 44)
                     )
                  )
               )
            )
         )
      )
   11)
)

PROGRAMS/interpret.luc
parse error
Parse error, Line 20

Run-time error 103
File sexpr.icn; Line 360
string expected
offending value: &null
Traceback:
main(list_1 = [])
sexpr_parse("") from line 65 in luca_sem.icn
sexpr_match("lparen") from line 42 in sexpr.icn
sexpr_die("Cannot match lpa...",&null) from line 168 in sexpr.icn
{"SEXPR: Cannot ma..." || &null} from line 360 in sexpr.icn
PROGRAMS/matmul-real.luc
ERROR (Line 74), Identifier not declared: 'Times'
ERROR (Line 74), Identifier not declared: 'Times'
(
   (
      (11 ProcedureSy $MAIN 76 0 
         ()
         (14 47 48 49 50)
      0 0)
      (12 TypeSy T1 3 0 ArrayType 200 2 0)
      (13 TypeSy T 4 0 ArrayType 200 12 0)
      (14 VariableSy Seed 6 0 2 0 0)
      (15 ProcedureSy Create 17 0 
         (16 17 18)
         (19 20 21 22)
      0 0)
      (16 FormalSy A 8 1 13 0 9 0 1 VAR)
      (17 FormalSy M 8 1 1 0 9 0 2 VAL)
      (18 FormalSy V 8 1 2 0 9 0 3 VAL)
      (19 VariableSy i 9 1 1 0 0)
      (20 VariableSy j 10 1 1 0 0)
      (21 VariableSy $0 16 1 1 0 0)
      (22 VariableSy $1 15 1 1 0 0)
      (23 ProcedureSy MM 33 0 
         (24 25 26 27)
         (28 29 30 31 32 33)
      0 0)
      (24 FormalSy A 20 1 13 0 9 0 1 VAR)
      (25 FormalSy B 20 1 13 0 9 0 2 VAR)
      (26 FormalSy C 20 1 13 0 9 0 3 VAR)
      (27 FormalSy M 20 1 1 0 9 0 4 VAL)
      (28 VariableSy i 21 1 1 0 0)
      (29 VariableSy j 22 1 1 0 0)
      (30 VariableSy k 23 1 1 0 0)
      (31 VariableSy $2 32 1 1 0 0)
      (32 VariableSy $3 31 1 1 0 0)
      (33 VariableSy $4 30 1 1 0 0)
      (34 ProcedureSy Check 62 0 
         (35 36 37)
         (38 39 40 41 42 43 44 45 46)
      0 0)
      (35 FormalSy A 35 1 13 0 9 0 1 VAR)
      (36 FormalSy M 35 1 1 0 9 0 2 VAL)
      (37 FormalSy V 35 1 2 0 9 0 3 VAL)
      (38 VariableSy i 36 1 1 0 0)
      (39 VariableSy j 37 1 1 0 0)
      (40 VariableSy OK 38 1 1 0 0)
      (41 VariableSy EPS 39 1 2 0 0)
      (42 VariableSy L1 40 1 2 0 0)
      (43 VariableSy L2 41 1 2 0 0)
      (44 VariableSy a 42 1 2 0 0)
      (45 VariableSy $5 55 1 1 0 0)
      (46 VariableSy $6 54 1 1 0 0)
      (47 VariableSy A 65 0 13 0 0)
      (48 VariableSy B 66 0 13 0 0)
      (49 VariableSy C 67 0 13 0 0)
      (50 VariableSy Size 68 0 1 0 0)
   )
   (PROGRAM MatMulReal 76 
      (DECL 69 
         (ARRAYDECL T1 REAL 3 
            (INTLIT 200 3 1)
         12)
         (DECL 69 
            (ARRAYDECL T T1 4 
               (INTLIT 200 4 1)
            13)
            (DECL 69 
               (VARDECL Seed REAL 6 14)
               (DECL 69 
                  (PROCDECL Create 17 
                     (DECL 8 
                        (FORMALDECL A T VAR 8 16)
                        (DECL 8 
                           (FORMALDECL M INTEGER VAL 8 17)
                           (DECL 8 
                              (FORMALDECL V REAL VAL 8 18)
                              (DECLNULL 8)
                           )
                        )
                     )
                     (DECL 11 
                        (VARDECL i INTEGER 9 19)
                        (DECL 11 
                           (VARDECL j INTEGER 10 20)
                           (DECLNULL 11)
                        )
                     )
                     (STAT 17 
                        (FOR i 16 
                           (INTLIT 1 12 1)
                           (VARREF M 12 
                              (DESNULL 12)
                           17 1)
                           (INTLIT 1 12 1)
                        1 
                           (STAT 16 
                              (FOR j 15 
                                 (INTLIT 1 13 1)
                                 (VARREF M 13 
                                    (DESNULL 13)
                                 17 1)
                                 (INTLIT 1 13 1)
                              1 
                                 (STAT 15 
                                    (ASSIGN 14 
                                       (VARREF A 14 
                                          (INDEX 14 
                                             (VARREF i 14 
                                                (DESNULL 14)
                                             19 1)
                                             (INDEX 14 
                                                (VARREF j 14 
                                                   (DESNULL 14)
                                                20 1)
                                                (DESNULL 14)
                                             12)
                                          13)
                                       16 2)
                                       (VARREF V 14 
                                          (DESNULL 14)
                                       18 2)
                                    )
                                    (STATNULL 15)
                                 )
                              20 22)
                              (STATNULL 16)
                           )
                        19 21)
                        (STATNULL 17)
                     )
                  15)
                  (DECL 69 
                     (PROCDECL MM 33 
                        (DECL 20 
                           (FORMALDECL A T VAR 20 24)
                           (DECL 20 
                              (FORMALDECL B T VAR 20 25)
                              (DECL 20 
                                 (FORMALDECL C T VAR 20 26)
                                 (DECL 20 
                                    (FORMALDECL M INTEGER VAL 20 27)
                                    (DECLNULL 20)
                                 )
                              )
                           )
                        )
                        (DECL 24 
                           (VARDECL i INTEGER 21 28)
                           (DECL 24 
                              (VARDECL j INTEGER 22 29)
                              (DECL 24 
                                 (VARDECL k INTEGER 23 30)
                                 (DECLNULL 24)
                              )
                           )
                        )
                        (STAT 33 
                           (FOR i 32 
                              (INTLIT 1 25 1)
                              (VARREF M 25 
                                 (DESNULL 25)
                              27 1)
                              (INTLIT 1 25 1)
                           1 
                              (STAT 32 
                                 (FOR j 31 
                                    (INTLIT 1 26 1)
                                    (VARREF M 26 
                                       (DESNULL 26)
                                    27 1)
                                    (INTLIT 1 26 1)
                                 1 
                                    (STAT 31 
                                       (ASSIGN 27 
                                          (VARREF A 27 
                                             (INDEX 27 
                                                (VARREF i 27 
                                                   (DESNULL 27)
                                                28 1)
                                                (INDEX 27 
                                                   (VARREF j 27 
                                                      (DESNULL 27)
                                                   29 1)
                                                   (DESNULL 27)
                                                12)
                                             13)
                                          24 2)
                                          (REALLIT 0.0 27 2)
                                       )
                                       (STAT 31 
                                          (FOR k 30 
                                             (INTLIT 1 28 1)
                                             (VARREF M 28 
                                                (DESNULL 28)
                                             27 1)
                                             (INTLIT 1 28 1)
                                          1 
                                             (STAT 30 
                                                (ASSIGN 29 
                                                   (VARREF A 29 
                                                      (INDEX 29 
                                                         (VARREF i 29 
                                                            (DESNULL 29)
                                                         28 1)
                                                         (INDEX 29 
                                                            (VARREF j 29 
                                                               (DESNULL 29)
                                                            29 1)
                                                            (DESNULL 29)
                                                         12)
                                                      13)
                                                   24 2)
                                                   (BINARY "+" 29 
                                                      (VARREF A 29 
                                                         (INDEX 29 
                                                            (VARREF i 29 
                                                               (DESNULL 29)
                                                            28 1)
                                                            (INDEX 29 
                                                               (VARREF j 29 
                                                                  (DESNULL 29)
                                                               29 1)
                                                               (DESNULL 29)
                                                            12)
                                                         13)
                                                      24 2)
                                                      (BINARY "*" 29 
                                                         (VARREF B 29 
                                                            (INDEX 29 
                                                               (VARREF i 29 
                                                                  (DESNULL 29)
                                                               28 1)
                                                               (INDEX 29 
                                                                  (VARREF k 29 
                                                                     (DESNULL 29)
                                                                  30 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         25 2)
                                                         (VARREF C 29 
                                                            (INDEX 29 
                                                               (VARREF k 29 
                                                                  (DESNULL 29)
                                                               30 1)
                                                               (INDEX 29 
                                                                  (VARREF j 29 
                                                                     (DESNULL 29)
                                                                  29 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         26 2)
                                                      2)
                                                   2)
                                                )
                                                (STATNULL 30)
                                             )
                                          30 33)
                                          (STATNULL 31)
                                       )
                                    )
                                 29 32)
                                 (STATNULL 32)
                              )
                           28 31)
                           (STATNULL 33)
                        )
                     23)
                     (DECL 69 
                        (PROCDECL Check 62 
                           (DECL 35 
                              (FORMALDECL A T VAR 35 35)
                              (DECL 35 
                                 (FORMALDECL M INTEGER VAL 35 36)
                                 (DECL 35 
                                    (FORMALDECL V REAL VAL 35 37)
                                    (DECLNULL 35)
                                 )
                              )
                           )
                           (DECL 43 
                              (VARDECL i INTEGER 36 38)
                              (DECL 43 
                                 (VARDECL j INTEGER 37 39)
                                 (DECL 43 
                                    (VARDECL OK INTEGER 38 40)
                                    (DECL 43 
                                       (VARDECL EPS REAL 39 41)
                                       (DECL 43 
                                          (VARDECL L1 REAL 40 42)
                                          (DECL 43 
                                             (VARDECL L2 REAL 41 43)
                                             (DECL 43 
                                                (VARDECL a REAL 42 44)
                                                (DECLNULL 43)
                                             )
                                          )
                                       )
                                    )
                                 )
                              )
                           )
                           (STAT 62 
                              (ASSIGN 44 
                                 (VARREF OK 44 
                                    (DESNULL 44)
                                 40 1)
                                 (INTLIT 1 44 1)
                              )
                              (STAT 62 
                                 (ASSIGN 45 
                                    (VARREF EPS 45 
                                       (DESNULL 45)
                                    41 2)
                                    (REALLIT 0.0001 45 2)
                                 )
                                 (STAT 62 
                                    (ASSIGN 46 
                                       (VARREF L1 46 
                                          (DESNULL 46)
                                       42 2)
                                       (BINARY "+" 46 
                                          (VARREF V 46 
                                             (DESNULL 46)
                                          37 2)
                                          (VARREF EPS 46 
                                             (DESNULL 46)
                                          41 2)
                                       2)
                                    )
                                    (STAT 62 
                                       (ASSIGN 47 
                                          (VARREF L2 47 
                                             (DESNULL 47)
                                          43 2)
                                          (BINARY "-" 47 
                                             (VARREF V 47 
                                                (DESNULL 47)
                                             37 2)
                                             (VARREF EPS 47 
                                                (DESNULL 47)
                                             41 2)
                                          2)
                                       )
                                       (STAT 62 
                                          (FOR i 55 
                                             (INTLIT 1 48 1)
                                             (VARREF M 48 
                                                (DESNULL 48)
                                             36 1)
                                             (INTLIT 1 48 1)
                                          1 
                                             (STAT 55 
                                                (FOR j 54 
                                                   (INTLIT 1 49 1)
                                                   (VARREF M 49 
                                                      (DESNULL 49)
                                                   36 1)
                                                   (INTLIT 1 49 1)
                                                1 
                                                   (STAT 54 
                                                      (ASSIGN 50 
                                                         (VARREF a 50 
                                                            (DESNULL 50)
                                                         44 2)
                                                         (VARREF A 50 
                                                            (INDEX 50 
                                                               (VARREF i 50 
                                                                  (DESNULL 50)
                                                               38 1)
                                                               (INDEX 50 
                                                                  (VARREF j 50 
                                                                     (DESNULL 50)
                                                                  39 1)
                                                                  (DESNULL 50)
                                                               12)
                                                            13)
                                                         35 2)
                                                      )
                                                      (STAT 54 
                                                         (IF1 53 
                                                            (UNARY "NOT" 51 
                                                               (BINARY "AND" 51 
                                                                  (BINARY "<=" 51 
                                                                     (VARREF a 51 
                                                                        (DESNULL 51)
                                                                     44 2)
                                                                     (VARREF L1 51 
                                                                        (DESNULL 51)
                                                                     42 2)
                                                                  5)
                                                                  (BINARY ">=" 51 
                                                                     (VARREF a 51 
                                                                        (DESNULL 51)
                                                                     44 2)
                                                                     (VARREF L2 51 
                                                                        (DESNULL 51)
                                                                     43 2)
                                                                  5)
                                                               5)
                                                            5)
                                                            (STAT 53 
                                                               (ASSIGN 52 
                                                                  (VARREF OK 52 
                                                                     (DESNULL 52)
                                                                  40 1)
                                                                  (INTLIT 0 52 1)
                                                               )
                                                               (STATNULL 53)
                                                            )
                                                         )
                                                         (STATNULL 54)
                                                      )
                                                   )
                                                39 46)
                                                (STATNULL 55)
                                             )
                                          38 45)
                                          (STAT 62 
                                             (IF2 60 
                                                (BINARY "=" 56 
                                                   (VARREF OK 56 
                                                      (DESNULL 56)
                                                   40 1)
                                                   (INTLIT 1 56 1)
                                                5)
                                                (STAT 58 
                                                   (WRITE 57 
                                                      (STRINGLIT "SUCCEED" 57 4)
                                                   )
                                                   (STATNULL 58)
                                                )
                                                (STAT 60 
                                                   (WRITE 59 
                                                      (STRINGLIT "FAIL" 59 4)
                                                   )
                                                   (STATNULL 60)
                                                )
                                             )
                                             (STAT 62 
                                                (WRITELN 61)
                                                (STATNULL 62)
                                             )
                                          )
                                       )
                                    )
                                 )
                              )
                           )
                        34)
                        (DECL 69 
                           (VARDECL A T 65 47)
                           (DECL 69 
                              (VARDECL B T 66 48)
                              (DECL 69 
                                 (VARDECL C T 67 49)
                                 (DECL 69 
                                    (VARDECL Size INTEGER 68 50)
                                    (DECLNULL 69)
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 76 
         (ASSIGN 70 
            (VARREF Size 70 
               (DESNULL 70)
            50 1)
            (INTLIT 100 70 1)
         )
         (STAT 76 
            (PROCCALL 71 
               (VARREF Create 71 
                  (DESNULL 71)
               15 8)
               (ACTUAL 71 
                  (VARREF B 71 
                     (DESNULL 71)
                  48 13)
                  (ACTUAL 71 
                     (VARREF Size 71 
                        (DESNULL 71)
                     50 1)
                     (ACTUAL 71 
                        (REALLIT 1.0 71 2)
                        (ACTUALNULL 71)
                     18)
                  17)
               16)
            15)
            (STAT 76 
               (PROCCALL 72 
                  (VARREF Create 72 
                     (DESNULL 72)
                  15 8)
                  (ACTUAL 72 
                     (VARREF C 72 
                        (DESNULL 72)
                     49 13)
                     (ACTUAL 72 
                        (VARREF Size 72 
                           (DESNULL 72)
                        50 1)
                        (ACTUAL 72 
                           (REALLIT 2.0 72 2)
                           (ACTUALNULL 72)
                        18)
                     17)
                  16)
               15)
               (STAT 76 
                  (PROCCALL 73 
                     (VARREF MM 73 
                        (DESNULL 73)
                     23 8)
                     (ACTUAL 73 
                        (VARREF A 73 
                           (DESNULL 73)
                        47 13)
                        (ACTUAL 73 
                           (VARREF B 73 
                              (DESNULL 73)
                           48 13)
                           (ACTUAL 73 
                              (VARREF C 73 
                                 (DESNULL 73)
                              49 13)
                              (ACTUAL 73 
                                 (VARREF Size 73 
                                    (DESNULL 73)
                                 50 1)
                                 (ACTUALNULL 73)
                              27)
                           26)
                        25)
                     24)
                  23)
                  (STAT 76 
                     (ASSIGN 74 
                        (VARREF Times 74 
                           (DESNULL 74)
                        9 8)
                        (BINARY "-" 74 
                           (VARREF Times 74 
                              (DESNULL 74)
                           9 8)
                           (INTLIT 1 74 1)
                        8)
                     )
                     (STAT 76 
                        (PROCCALL 75 
                           (VARREF Check 75 
                              (DESNULL 75)
                           34 8)
                           (ACTUAL 75 
                              (VARREF A 75 
                                 (DESNULL 75)
                              47 13)
                              (ACTUAL 75 
                                 (VARREF Size 75 
                                    (DESNULL 75)
                                 50 1)
                                 (ACTUAL 75 
                                    (BINARY "*" 75 
                                       (REALLIT 2.0 75 2)
                                       (UNARY "FLOAT" 75 
                                          (VARREF Size 75 
                                             (DESNULL 75)
                                          50 1)
                                       2)
                                    2)
                                    (ACTUALNULL 75)
                                 37)
                              36)
                           35)
                        34)
                        (STATNULL 76)
                     )
                  )
               )
            )
         )
      )
   11)
)

PROGRAMS/matmul-realUnroll.luc
(
   (
      (11 ProcedureSy $MAIN 88 0 
         ()
         (14 48 49 50 51)
      0 0)
      (12 TypeSy T1 3 0 ArrayType 200 2 0)
      (13 TypeSy T 4 0 ArrayType 200 12 0)
      (14 VariableSy Seed 6 0 2 0 0)
      (15 ProcedureSy Create 17 0 
         (16 17 18)
         (19 20 21 22)
      0 0)
      (16 FormalSy A 8 1 13 0 9 0 1 VAR)
      (17 FormalSy M 8 1 1 0 9 0 2 VAL)
      (18 FormalSy V 8 1 2 0 9 0 3 VAL)
      (19 VariableSy i 9 1 1 0 0)
      (20 VariableSy j 10 1 1 0 0)
      (21 VariableSy $0 16 1 1 0 0)
      (22 VariableSy $1 15 1 1 0 0)
      (23 ProcedureSy MM 45 0 
         (24 25 26 27)
         (28 29 30 31 32 33 34)
      0 0)
      (24 FormalSy A 20 1 13 0 9 0 1 VAR)
      (25 FormalSy B 20 1 13 0 9 0 2 VAR)
      (26 FormalSy C 20 1 13 0 9 0 3 VAR)
      (27 FormalSy M 20 1 1 0 9 0 4 VAL)
      (28 VariableSy i 21 1 1 0 0)
      (29 VariableSy j 22 1 1 0 0)
      (30 VariableSy k 23 1 1 0 0)
      (31 VariableSy $2 44 1 1 0 0)
      (32 VariableSy $3 43 1 1 0 0)
      (33 VariableSy $4 39 1 1 0 0)
      (34 VariableSy $5 42 1 1 0 0)
      (35 ProcedureSy Check 75 0 
         (36 37 38)
         (39 40 41 42 43 44 45 46 47)
      0 0)
      (36 FormalSy A 48 1 13 0 9 0 1 VAR)
      (37 FormalSy M 48 1 1 0 9 0 2 VAL)
      (38 FormalSy V 48 1 2 0 9 0 3 VAL)
      (39 VariableSy i 49 1 1 0 0)
      (40 VariableSy j 50 1 1 0 0)
      (41 VariableSy OK 51 1 1 0 0)
      (42 VariableSy EPS 52 1 2 0 0)
      (43 VariableSy L1 53 1 2 0 0)
      (44 VariableSy L2 54 1 2 0 0)
      (45 VariableSy a 55 1 2 0 0)
      (46 VariableSy $6 68 1 1 0 0)
      (47 VariableSy $7 67 1 1 0 0)
      (48 VariableSy A 78 0 13 0 0)
      (49 VariableSy B 79 0 13 0 0)
      (50 VariableSy C 80 0 13 0 0)
      (51 VariableSy Size 81 0 1 0 0)
   )
   (PROGRAM MatMulReal 88 
      (DECL 82 
         (ARRAYDECL T1 REAL 3 
            (INTLIT 200 3 1)
         12)
         (DECL 82 
            (ARRAYDECL T T1 4 
               (INTLIT 200 4 1)
            13)
            (DECL 82 
               (VARDECL Seed REAL 6 14)
               (DECL 82 
                  (PROCDECL Create 17 
                     (DECL 8 
                        (FORMALDECL A T VAR 8 16)
                        (DECL 8 
                           (FORMALDECL M INTEGER VAL 8 17)
                           (DECL 8 
                              (FORMALDECL V REAL VAL 8 18)
                              (DECLNULL 8)
                           )
                        )
                     )
                     (DECL 11 
                        (VARDECL i INTEGER 9 19)
                        (DECL 11 
                           (VARDECL j INTEGER 10 20)
                           (DECLNULL 11)
                        )
                     )
                     (STAT 17 
                        (FOR i 16 
                           (INTLIT 1 12 1)
                           (VARREF M 12 
                              (DESNULL 12)
                           17 1)
                           (INTLIT 1 12 1)
                        1 
                           (STAT 16 
                              (FOR j 15 
                                 (INTLIT 1 13 1)
                                 (VARREF M 13 
                                    (DESNULL 13)
                                 17 1)
                                 (INTLIT 1 13 1)
                              1 
                                 (STAT 15 
                                    (ASSIGN 14 
                                       (VARREF A 14 
                                          (INDEX 14 
                                             (VARREF i 14 
                                                (DESNULL 14)
                                             19 1)
                                             (INDEX 14 
                                                (VARREF j 14 
                                                   (DESNULL 14)
                                                20 1)
                                                (DESNULL 14)
                                             12)
                                          13)
                                       16 2)
                                       (VARREF V 14 
                                          (DESNULL 14)
                                       18 2)
                                    )
                                    (STATNULL 15)
                                 )
                              20 22)
                              (STATNULL 16)
                           )
                        19 21)
                        (STATNULL 17)
                     )
                  15)
                  (DECL 82 
                     (PROCDECL MM 45 
                        (DECL 20 
                           (FORMALDECL A T VAR 20 24)
                           (DECL 20 
                              (FORMALDECL B T VAR 20 25)
                              (DECL 20 
                                 (FORMALDECL C T VAR 20 26)
                                 (DECL 20 
                                    (FORMALDECL M INTEGER VAL 20 27)
                                    (DECLNULL 20)
                                 )
                              )
                           )
                        )
                        (DECL 24 
                           (VARDECL i INTEGER 21 28)
                           (DECL 24 
                              (VARDECL j INTEGER 22 29)
                              (DECL 24 
                                 (VARDECL k INTEGER 23 30)
                                 (DECLNULL 24)
                              )
                           )
                        )
                        (STAT 45 
                           (FOR i 44 
                              (INTLIT 1 25 1)
                              (VARREF M 25 
                                 (DESNULL 25)
                              27 1)
                              (INTLIT 1 25 1)
                           1 
                              (STAT 44 
                                 (FOR j 43 
                                    (INTLIT 1 26 1)
                                    (VARREF M 26 
                                       (DESNULL 26)
                                    27 1)
                                    (INTLIT 1 26 1)
                                 1 
                                    (STAT 43 
                                       (ASSIGN 27 
                                          (VARREF A 27 
                                             (INDEX 27 
                                                (VARREF i 27 
                                                   (DESNULL 27)
                                                28 1)
                                                (INDEX 27 
                                                   (VARREF j 27 
                                                      (DESNULL 27)
                                                   29 1)
                                                   (DESNULL 27)
                                                12)
                                             13)
                                          24 2)
                                          (REALLIT 0.0 27 2)
                                       )
                                       (STAT 43 
                                          (FOR k 39 
                                             (INTLIT 1 28 1)
                                             (BINARY "/" 28 
                                                (VARREF M 28 
                                                   (DESNULL 28)
                                                27 1)
                                                (INTLIT 10 28 1)
                                             1)
                                             (INTLIT 1 28 1)
                                          1 
                                             (STAT 39 
                                                (ASSIGN 29 
                                                   (VARREF A 29 
                                                      (INDEX 29 
                                                         (VARREF i 29 
                                                            (DESNULL 29)
                                                         28 1)
                                                         (INDEX 29 
                                                            (VARREF j 29 
                                                               (DESNULL 29)
                                                            29 1)
                                                            (DESNULL 29)
                                                         12)
                                                      13)
                                                   24 2)
                                                   (BINARY "+" 29 
                                                      (VARREF A 29 
                                                         (INDEX 29 
                                                            (VARREF i 29 
                                                               (DESNULL 29)
                                                            28 1)
                                                            (INDEX 29 
                                                               (VARREF j 29 
                                                                  (DESNULL 29)
                                                               29 1)
                                                               (DESNULL 29)
                                                            12)
                                                         13)
                                                      24 2)
                                                      (BINARY "*" 29 
                                                         (VARREF B 29 
                                                            (INDEX 29 
                                                               (VARREF i 29 
                                                                  (DESNULL 29)
                                                               28 1)
                                                               (INDEX 29 
                                                                  (VARREF k 29 
                                                                     (DESNULL 29)
                                                                  30 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         25 2)
                                                         (VARREF C 29 
                                                            (INDEX 29 
                                                               (VARREF k 29 
                                                                  (DESNULL 29)
                                                               30 1)
                                                               (INDEX 29 
                                                                  (VARREF j 29 
                                                                     (DESNULL 29)
                                                                  29 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         26 2)
                                                      2)
                                                   2)
                                                )
                                                (STAT 39 
                                                   (ASSIGN 30 
                                                      (VARREF A 30 
                                                         (INDEX 30 
                                                            (VARREF i 30 
                                                               (DESNULL 30)
                                                            28 1)
                                                            (INDEX 30 
                                                               (VARREF j 30 
                                                                  (DESNULL 30)
                                                               29 1)
                                                               (DESNULL 30)
                                                            12)
                                                         13)
                                                      24 2)
                                                      (BINARY "+" 30 
                                                         (VARREF A 30 
                                                            (INDEX 30 
                                                               (VARREF i 30 
                                                                  (DESNULL 30)
                                                               28 1)
                                                               (INDEX 30 
                                                                  (VARREF j 30 
                                                                     (DESNULL 30)
                                                                  29 1)
                                                                  (DESNULL 30)
                                                               12)
                                                            13)
                                                         24 2)
                                                         (BINARY "*" 30 
                                                            (VARREF B 30 
                                                               (INDEX 30 
                                                                  (VARREF i 30 
                                                                     (DESNULL 30)
                                                                  28 1)
                                                                  (INDEX 30 
                                                                     (VARREF k 30 
                                                                        (DESNULL 30)
                                                                     30 1)
                                                                     (DESNULL 30)
                                                                  12)
                                                               13)
                                                            25 2)
                                                            (VARREF C 30 
                                                               (INDEX 30 
                                                                  (BINARY "+" 30 
                                                                     (VARREF k 30 
                                                                        (DESNULL 30)
                                                                     30 1)
                                                                     (INTLIT 1 30 1)
                                                                  1)
                                                                  (INDEX 30 
                                                                     (VARREF j 30 
                                                                        (DESNULL 30)
                                                                     29 1)
                                                                     (DESNULL 30)
                                                                  12)
                                                               13)
                                                            26 2)
                                                         2)
                                                      2)
                                                   )
                                                   (STAT 39 
                                                      (ASSIGN 31 
                                                         (VARREF A 31 
                                                            (INDEX 31 
                                                               (VARREF i 31 
                                                                  (DESNULL 31)
                                                               28 1)
                                                               (INDEX 31 
                                                                  (VARREF j 31 
                                                                     (DESNULL 31)
                                                                  29 1)
                                                                  (DESNULL 31)
                                                               12)
                                                            13)
                                                         24 2)
                                                         (BINARY "+" 31 
                                                            (VARREF A 31 
                                                               (INDEX 31 
                                                                  (VARREF i 31 
                                                                     (DESNULL 31)
                                                                  28 1)
                                                                  (INDEX 31 
                                                                     (VARREF j 31 
                                                                        (DESNULL 31)
                                                                     29 1)
                                                                     (DESNULL 31)
                                                                  12)
                                                               13)
                                                            24 2)
                                                            (BINARY "*" 31 
                                                               (VARREF B 31 
                                                                  (INDEX 31 
                                                                     (VARREF i 31 
                                                                        (DESNULL 31)
                                                                     28 1)
                                                                     (INDEX 31 
                                                                        (VARREF k 31 
                                                                           (DESNULL 31)
                                                                        30 1)
                                                                        (DESNULL 31)
                                                                     12)
                                                                  13)
                                                               25 2)
                                                               (VARREF C 31 
                                                                  (INDEX 31 
                                                                     (BINARY "+" 31 
                                                                        (VARREF k 31 
                                                                           (DESNULL 31)
                                                                        30 1)
                                                                        (INTLIT 2 31 1)
                                                                     1)
                                                                     (INDEX 31 
                                                                        (VARREF j 31 
                                                                           (DESNULL 31)
                                                                        29 1)
                                                                        (DESNULL 31)
                                                                     12)
                                                                  13)
                                                               26 2)
                                                            2)
                                                         2)
                                                      )
                                                      (STAT 39 
                                                         (ASSIGN 32 
                                                            (VARREF A 32 
                                                               (INDEX 32 
                                                                  (VARREF i 32 
                                                                     (DESNULL 32)
                                                                  28 1)
                                                                  (INDEX 32 
                                                                     (VARREF j 32 
                                                                        (DESNULL 32)
                                                                     29 1)
                                                                     (DESNULL 32)
                                                                  12)
                                                               13)
                                                            24 2)
                                                            (BINARY "+" 32 
                                                               (VARREF A 32 
                                                                  (INDEX 32 
                                                                     (VARREF i 32 
                                                                        (DESNULL 32)
                                                                     28 1)
                                                                     (INDEX 32 
                                                                        (VARREF j 32 
                                                                           (DESNULL 32)
                                                                        29 1)
                                                                        (DESNULL 32)
                                                                     12)
                                                                  13)
                                                               24 2)
                                                               (BINARY "*" 32 
                                                                  (VARREF B 32 
                                                                     (INDEX 32 
                                                                        (VARREF i 32 
                                                                           (DESNULL 32)
                                                                        28 1)
                                                                        (INDEX 32 
                                                                           (VARREF k 32 
                                                                              (DESNULL 32)
                                                                           30 1)
                                                                           (DESNULL 32)
                                                                        12)
                                                                     13)
                                                                  25 2)
                                                                  (VARREF C 32 
                                                                     (INDEX 32 
                                                                        (BINARY "+" 32 
                                                                           (VARREF k 32 
                                                                              (DESNULL 32)
                                                                           30 1)
                                                                           (INTLIT 3 32 1)
                                                                        1)
                                                                        (INDEX 32 
                                                                           (VARREF j 32 
                                                                              (DESNULL 32)
                                                                           29 1)
                                                                           (DESNULL 32)
                                                                        12)
                                                                     13)
                                                                  26 2)
                                                               2)
                                                            2)
                                                         )
                                                         (STAT 39 
                                                            (ASSIGN 33 
                                                               (VARREF A 33 
                                                                  (INDEX 33 
                                                                     (VARREF i 33 
                                                                        (DESNULL 33)
                                                                     28 1)
                                                                     (INDEX 33 
                                                                        (VARREF j 33 
                                                                           (DESNULL 33)
                                                                        29 1)
                                                                        (DESNULL 33)
                                                                     12)
                                                                  13)
                                                               24 2)
                                                               (BINARY "+" 33 
                                                                  (VARREF A 33 
                                                                     (INDEX 33 
                                                                        (VARREF i 33 
                                                                           (DESNULL 33)
                                                                        28 1)
                                                                        (INDEX 33 
                                                                           (VARREF j 33 
                                                                              (DESNULL 33)
                                                                           29 1)
                                                                           (DESNULL 33)
                                                                        12)
                                                                     13)
                                                                  24 2)
                                                                  (BINARY "*" 33 
                                                                     (VARREF B 33 
                                                                        (INDEX 33 
                                                                           (VARREF i 33 
                                                                              (DESNULL 33)
                                                                           28 1)
                                                                           (INDEX 33 
                                                                              (VARREF k 33 
                                                                                 (DESNULL 33)
                                                                              30 1)
                                                                              (DESNULL 33)
                                                                           12)
                                                                        13)
                                                                     25 2)
                                                                     (VARREF C 33 
                                                                        (INDEX 33 
                                                                           (BINARY "+" 33 
                                                                              (VARREF k 33 
                                                                                 (DESNULL 33)
                                                                              30 1)
                                                                              (INTLIT 4 33 1)
                                                                           1)
                                                                           (INDEX 33 
                                                                              (VARREF j 33 
                                                                                 (DESNULL 33)
                                                                              29 1)
                                                                              (DESNULL 33)
                                                                           12)
                                                                        13)
                                                                     26 2)
                                                                  2)
                                                               2)
                                                            )
                                                            (STAT 39 
                                                               (ASSIGN 34 
                                                                  (VARREF A 34 
                                                                     (INDEX 34 
                                                                        (VARREF i 34 
                                                                           (DESNULL 34)
                                                                        28 1)
                                                                        (INDEX 34 
                                                                           (VARREF j 34 
                                                                              (DESNULL 34)
                                                                           29 1)
                                                                           (DESNULL 34)
                                                                        12)
                                                                     13)
                                                                  24 2)
                                                                  (BINARY "+" 34 
                                                                     (VARREF A 34 
                                                                        (INDEX 34 
                                                                           (VARREF i 34 
                                                                              (DESNULL 34)
                                                                           28 1)
                                                                           (INDEX 34 
                                                                              (VARREF j 34 
                                                                                 (DESNULL 34)
                                                                              29 1)
                                                                              (DESNULL 34)
                                                                           12)
                                                                        13)
                                                                     24 2)
                                                                     (BINARY "*" 34 
                                                                        (VARREF B 34 
                                                                           (INDEX 34 
                                                                              (VARREF i 34 
                                                                                 (DESNULL 34)
                                                                              28 1)
                                                                              (INDEX 34 
                                                                                 (VARREF k 34 
                                                                                    (DESNULL 34)
                                                                                 30 1)
                                                                                 (DESNULL 34)
                                                                              12)
                                                                           13)
                                                                        25 2)
                                                                        (VARREF C 34 
                                                                           (INDEX 34 
                                                                              (BINARY "+" 34 
                                                                                 (VARREF k 34 
                                                                                    (DESNULL 34)
                                                                                 30 1)
                                                                                 (INTLIT 5 34 1)
                                                                              1)
                                                                              (INDEX 34 
                                                                                 (VARREF j 34 
                                                                                    (DESNULL 34)
                                                                                 29 1)
                                                                                 (DESNULL 34)
                                                                              12)
                                                                           13)
                                                                        26 2)
                                                                     2)
                                                                  2)
                                                               )
                                                               (STAT 39 
                                                                  (ASSIGN 35 
                                                                     (VARREF A 35 
                                                                        (INDEX 35 
                                                                           (VARREF i 35 
                                                                              (DESNULL 35)
                                                                           28 1)
                                                                           (INDEX 35 
                                                                              (VARREF j 35 
                                                                                 (DESNULL 35)
                                                                              29 1)
                                                                              (DESNULL 35)
                                                                           12)
                                                                        13)
                                                                     24 2)
                                                                     (BINARY "+" 35 
                                                                        (VARREF A 35 
                                                                           (INDEX 35 
                                                                              (VARREF i 35 
                                                                                 (DESNULL 35)
                                                                              28 1)
                                                                              (INDEX 35 
                                                                                 (VARREF j 35 
                                                                                    (DESNULL 35)
                                                                                 29 1)
                                                                                 (DESNULL 35)
                                                                              12)
                                                                           13)
                                                                        24 2)
                                                                        (BINARY "*" 35 
                                                                           (VARREF B 35 
                                                                              (INDEX 35 
                                                                                 (VARREF i 35 
                                                                                    (DESNULL 35)
                                                                                 28 1)
                                                                                 (INDEX 35 
                                                                                    (VARREF k 35 
                                                                                       (DESNULL 35)
                                                                                    30 1)
                                                                                    (DESNULL 35)
                                                                                 12)
                                                                              13)
                                                                           25 2)
                                                                           (VARREF C 35 
                                                                              (INDEX 35 
                                                                                 (BINARY "+" 35 
                                                                                    (VARREF k 35 
                                                                                       (DESNULL 35)
                                                                                    30 1)
                                                                                    (INTLIT 6 35 1)
                                                                                 1)
                                                                                 (INDEX 35 
                                                                                    (VARREF j 35 
                                                                                       (DESNULL 35)
                                                                                    29 1)
                                                                                    (DESNULL 35)
                                                                                 12)
                                                                              13)
                                                                           26 2)
                                                                        2)
                                                                     2)
                                                                  )
                                                                  (STAT 39 
                                                                     (ASSIGN 36 
                                                                        (VARREF A 36 
                                                                           (INDEX 36 
                                                                              (VARREF i 36 
                                                                                 (DESNULL 36)
                                                                              28 1)
                                                                              (INDEX 36 
                                                                                 (VARREF j 36 
                                                                                    (DESNULL 36)
                                                                                 29 1)
                                                                                 (DESNULL 36)
                                                                              12)
                                                                           13)
                                                                        24 2)
                                                                        (BINARY "+" 36 
                                                                           (VARREF A 36 
                                                                              (INDEX 36 
                                                                                 (VARREF i 36 
                                                                                    (DESNULL 36)
                                                                                 28 1)
                                                                                 (INDEX 36 
                                                                                    (VARREF j 36 
                                                                                       (DESNULL 36)
                                                                                    29 1)
                                                                                    (DESNULL 36)
                                                                                 12)
                                                                              13)
                                                                           24 2)
                                                                           (BINARY "*" 36 
                                                                              (VARREF B 36 
                                                                                 (INDEX 36 
                                                                                    (VARREF i 36 
                                                                                       (DESNULL 36)
                                                                                    28 1)
                                                                                    (INDEX 36 
                                                                                       (VARREF k 36 
                                                                                          (DESNULL 36)
                                                                                       30 1)
                                                                                       (DESNULL 36)
                                                                                    12)
                                                                                 13)
                                                                              25 2)
                                                                              (VARREF C 36 
                                                                                 (INDEX 36 
                                                                                    (BINARY "+" 36 
                                                                                       (VARREF k 36 
                                                                                          (DESNULL 36)
                                                                                       30 1)
                                                                                       (INTLIT 7 36 1)
                                                                                    1)
                                                                                    (INDEX 36 
                                                                                       (VARREF j 36 
                                                                                          (DESNULL 36)
                                                                                       29 1)
                                                                                       (DESNULL 36)
                                                                                    12)
                                                                                 13)
                                                                              26 2)
                                                                           2)
                                                                        2)
                                                                     )
                                                                     (STAT 39 
                                                                        (ASSIGN 37 
                                                                           (VARREF A 37 
                                                                              (INDEX 37 
                                                                                 (VARREF i 37 
                                                                                    (DESNULL 37)
                                                                                 28 1)
                                                                                 (INDEX 37 
                                                                                    (VARREF j 37 
                                                                                       (DESNULL 37)
                                                                                    29 1)
                                                                                    (DESNULL 37)
                                                                                 12)
                                                                              13)
                                                                           24 2)
                                                                           (BINARY "+" 37 
                                                                              (VARREF A 37 
                                                                                 (INDEX 37 
                                                                                    (VARREF i 37 
                                                                                       (DESNULL 37)
                                                                                    28 1)
                                                                                    (INDEX 37 
                                                                                       (VARREF j 37 
                                                                                          (DESNULL 37)
                                                                                       29 1)
                                                                                       (DESNULL 37)
                                                                                    12)
                                                                                 13)
                                                                              24 2)
                                                                              (BINARY "*" 37 
                                                                                 (VARREF B 37 
                                                                                    (INDEX 37 
                                                                                       (VARREF i 37 
                                                                                          (DESNULL 37)
                                                                                       28 1)
                                                                                       (INDEX 37 
                                                                                          (VARREF k 37 
                                                                                             (DESNULL 37)
                                                                                          30 1)
                                                                                          (DESNULL 37)
                                                                                       12)
                                                                                    13)
                                                                                 25 2)
                                                                                 (VARREF C 37 
                                                                                    (INDEX 37 
                                                                                       (BINARY "+" 37 
                                                                                          (VARREF k 37 
                                                                                             (DESNULL 37)
                                                                                          30 1)
                                                                                          (INTLIT 8 37 1)
                                                                                       1)
                                                                                       (INDEX 37 
                                                                                          (VARREF j 37 
                                                                                             (DESNULL 37)
                                                                                          29 1)
                                                                                          (DESNULL 37)
                                                                                       12)
                                                                                    13)
                                                                                 26 2)
                                                                              2)
                                                                           2)
                                                                        )
                                                                        (STAT 39 
                                                                           (ASSIGN 38 
                                                                              (VARREF A 38 
                                                                                 (INDEX 38 
                                                                                    (VARREF i 38 
                                                                                       (DESNULL 38)
                                                                                    28 1)
                                                                                    (INDEX 38 
                                                                                       (VARREF j 38 
                                                                                          (DESNULL 38)
                                                                                       29 1)
                                                                                       (DESNULL 38)
                                                                                    12)
                                                                                 13)
                                                                              24 2)
                                                                              (BINARY "+" 38 
                                                                                 (VARREF A 38 
                                                                                    (INDEX 38 
                                                                                       (VARREF i 38 
                                                                                          (DESNULL 38)
                                                                                       28 1)
                                                                                       (INDEX 38 
                                                                                          (VARREF j 38 
                                                                                             (DESNULL 38)
                                                                                          29 1)
                                                                                          (DESNULL 38)
                                                                                       12)
                                                                                    13)
                                                                                 24 2)
                                                                                 (BINARY "*" 38 
                                                                                    (VARREF B 38 
                                                                                       (INDEX 38 
                                                                                          (VARREF i 38 
                                                                                             (DESNULL 38)
                                                                                          28 1)
                                                                                          (INDEX 38 
                                                                                             (VARREF k 38 
                                                                                                (DESNULL 38)
                                                                                             30 1)
                                                                                             (DESNULL 38)
                                                                                          12)
                                                                                       13)
                                                                                    25 2)
                                                                                    (VARREF C 38 
                                                                                       (INDEX 38 
                                                                                          (BINARY "+" 38 
                                                                                             (VARREF k 38 
                                                                                                (DESNULL 38)
                                                                                             30 1)
                                                                                             (INTLIT 9 38 1)
                                                                                          1)
                                                                                          (INDEX 38 
                                                                                             (VARREF j 38 
                                                                                                (DESNULL 38)
                                                                                             29 1)
                                                                                             (DESNULL 38)
                                                                                          12)
                                                                                       13)
                                                                                    26 2)
                                                                                 2)
                                                                              2)
                                                                           )
                                                                           (STATNULL 39)
                                                                        )
                                                                     )
                                                                  )
                                                               )
                                                            )
                                                         )
                                                      )
                                                   )
                                                )
                                             )
                                          30 33)
                                          (STAT 43 
                                             (FOR k 42 
                                                (BINARY "+" 40 
                                                   (BINARY "*" 40 
                                                      (BINARY "/" 40 
                                                         (VARREF M 40 
                                                            (DESNULL 40)
                                                         27 1)
                                                         (INTLIT 10 40 1)
                                                      1)
                                                      (INTLIT 10 40 1)
                                                   1)
                                                   (INTLIT 1 40 1)
                                                1)
                                                (VARREF M 40 
                                                   (DESNULL 40)
                                                27 1)
                                                (INTLIT 1 40 1)
                                             1 
                                                (STAT 42 
                                                   (ASSIGN 41 
                                                      (VARREF A 41 
                                                         (INDEX 41 
                                                            (VARREF i 41 
                                                               (DESNULL 41)
                                                            28 1)
                                                            (INDEX 41 
                                                               (VARREF j 41 
                                                                  (DESNULL 41)
                                                               29 1)
                                                               (DESNULL 41)
                                                            12)
                                                         13)
                                                      24 2)
                                                      (BINARY "+" 41 
                                                         (VARREF A 41 
                                                            (INDEX 41 
                                                               (VARREF i 41 
                                                                  (DESNULL 41)
                                                               28 1)
                                                               (INDEX 41 
                                                                  (VARREF j 41 
                                                                     (DESNULL 41)
                                                                  29 1)
                                                                  (DESNULL 41)
                                                               12)
                                                            13)
                                                         24 2)
                                                         (BINARY "*" 41 
                                                            (VARREF B 41 
                                                               (INDEX 41 
                                                                  (VARREF i 41 
                                                                     (DESNULL 41)
                                                                  28 1)
                                                                  (INDEX 41 
                                                                     (VARREF k 41 
                                                                        (DESNULL 41)
                                                                     30 1)
                                                                     (DESNULL 41)
                                                                  12)
                                                               13)
                                                            25 2)
                                                            (VARREF C 41 
                                                               (INDEX 41 
                                                                  (VARREF k 41 
                                                                     (DESNULL 41)
                                                                  30 1)
                                                                  (INDEX 41 
                                                                     (VARREF j 41 
                                                                        (DESNULL 41)
                                                                     29 1)
                                                                     (DESNULL 41)
                                                                  12)
                                                               13)
                                                            26 2)
                                                         2)
                                                      2)
                                                   )
                                                   (STATNULL 42)
                                                )
                                             30 34)
                                             (STATNULL 43)
                                          )
                                       )
                                    )
                                 29 32)
                                 (STATNULL 44)
                              )
                           28 31)
                           (STATNULL 45)
                        )
                     23)
                     (DECL 82 
                        (PROCDECL Check 75 
                           (DECL 48 
                              (FORMALDECL A T VAR 48 36)
                              (DECL 48 
                                 (FORMALDECL M INTEGER VAL 48 37)
                                 (DECL 48 
                                    (FORMALDECL V REAL VAL 48 38)
                                    (DECLNULL 48)
                                 )
                              )
                           )
                           (DECL 56 
                              (VARDECL i INTEGER 49 39)
                              (DECL 56 
                                 (VARDECL j INTEGER 50 40)
                                 (DECL 56 
                                    (VARDECL OK INTEGER 51 41)
                                    (DECL 56 
                                       (VARDECL EPS REAL 52 42)
                                       (DECL 56 
                                          (VARDECL L1 REAL 53 43)
                                          (DECL 56 
                                             (VARDECL L2 REAL 54 44)
                                             (DECL 56 
                                                (VARDECL a REAL 55 45)
                                                (DECLNULL 56)
                                             )
                                          )
                                       )
                                    )
                                 )
                              )
                           )
                           (STAT 75 
                              (ASSIGN 57 
                                 (VARREF OK 57 
                                    (DESNULL 57)
                                 41 1)
                                 (INTLIT 1 57 1)
                              )
                              (STAT 75 
                                 (ASSIGN 58 
                                    (VARREF EPS 58 
                                       (DESNULL 58)
                                    42 2)
                                    (REALLIT 0.0001 58 2)
                                 )
                                 (STAT 75 
                                    (ASSIGN 59 
                                       (VARREF L1 59 
                                          (DESNULL 59)
                                       43 2)
                                       (BINARY "+" 59 
                                          (VARREF V 59 
                                             (DESNULL 59)
                                          38 2)
                                          (VARREF EPS 59 
                                             (DESNULL 59)
                                          42 2)
                                       2)
                                    )
                                    (STAT 75 
                                       (ASSIGN 60 
                                          (VARREF L2 60 
                                             (DESNULL 60)
                                          44 2)
                                          (BINARY "-" 60 
                                             (VARREF V 60 
                                                (DESNULL 60)
                                             38 2)
                                             (VARREF EPS 60 
                                                (DESNULL 60)
                                             42 2)
                                          2)
                                       )
                                       (STAT 75 
                                          (FOR i 68 
                                             (INTLIT 1 61 1)
                                             (VARREF M 61 
                                                (DESNULL 61)
                                             37 1)
                                             (INTLIT 1 61 1)
                                          1 
                                             (STAT 68 
                                                (FOR j 67 
                                                   (INTLIT 1 62 1)
                                                   (VARREF M 62 
                                                      (DESNULL 62)
                                                   37 1)
                                                   (INTLIT 1 62 1)
                                                1 
                                                   (STAT 67 
                                                      (ASSIGN 63 
                                                         (VARREF a 63 
                                                            (DESNULL 63)
                                                         45 2)
                                                         (VARREF A 63 
                                                            (INDEX 63 
                                                               (VARREF i 63 
                                                                  (DESNULL 63)
                                                               39 1)
                                                               (INDEX 63 
                                                                  (VARREF j 63 
                                                                     (DESNULL 63)
                                                                  40 1)
                                                                  (DESNULL 63)
                                                               12)
                                                            13)
                                                         36 2)
                                                      )
                                                      (STAT 67 
                                                         (IF1 66 
                                                            (UNARY "NOT" 64 
                                                               (BINARY "AND" 64 
                                                                  (BINARY "<=" 64 
                                                                     (VARREF a 64 
                                                                        (DESNULL 64)
                                                                     45 2)
                                                                     (VARREF L1 64 
                                                                        (DESNULL 64)
                                                                     43 2)
                                                                  5)
                                                                  (BINARY ">=" 64 
                                                                     (VARREF a 64 
                                                                        (DESNULL 64)
                                                                     45 2)
                                                                     (VARREF L2 64 
                                                                        (DESNULL 64)
                                                                     44 2)
                                                                  5)
                                                               5)
                                                            5)
                                                            (STAT 66 
                                                               (ASSIGN 65 
                                                                  (VARREF OK 65 
                                                                     (DESNULL 65)
                                                                  41 1)
                                                                  (INTLIT 0 65 1)
                                                               )
                                                               (STATNULL 66)
                                                            )
                                                         )
                                                         (STATNULL 67)
                                                      )
                                                   )
                                                40 47)
                                                (STATNULL 68)
                                             )
                                          39 46)
                                          (STAT 75 
                                             (IF2 73 
                                                (BINARY "=" 69 
                                                   (VARREF OK 69 
                                                      (DESNULL 69)
                                                   41 1)
                                                   (INTLIT 1 69 1)
                                                5)
                                                (STAT 71 
                                                   (WRITE 70 
                                                      (STRINGLIT "SUCCEED" 70 4)
                                                   )
                                                   (STATNULL 71)
                                                )
                                                (STAT 73 
                                                   (WRITE 72 
                                                      (STRINGLIT "FAIL" 72 4)
                                                   )
                                                   (STATNULL 73)
                                                )
                                             )
                                             (STAT 75 
                                                (WRITELN 74)
                                                (STATNULL 75)
                                             )
                                          )
                                       )
                                    )
                                 )
                              )
                           )
                        35)
                        (DECL 82 
                           (VARDECL A T 78 48)
                           (DECL 82 
                              (VARDECL B T 79 49)
                              (DECL 82 
                                 (VARDECL C T 80 50)
                                 (DECL 82 
                                    (VARDECL Size INTEGER 81 51)
                                    (DECLNULL 82)
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 88 
         (ASSIGN 83 
            (VARREF Size 83 
               (DESNULL 83)
            51 1)
            (INTLIT 100 83 1)
         )
         (STAT 88 
            (PROCCALL 84 
               (VARREF Create 84 
                  (DESNULL 84)
               15 8)
               (ACTUAL 84 
                  (VARREF B 84 
                     (DESNULL 84)
                  49 13)
                  (ACTUAL 84 
                     (VARREF Size 84 
                        (DESNULL 84)
                     51 1)
                     (ACTUAL 84 
                        (REALLIT 1.0 84 2)
                        (ACTUALNULL 84)
                     18)
                  17)
               16)
            15)
            (STAT 88 
               (PROCCALL 85 
                  (VARREF Create 85 
                     (DESNULL 85)
                  15 8)
                  (ACTUAL 85 
                     (VARREF C 85 
                        (DESNULL 85)
                     50 13)
                     (ACTUAL 85 
                        (VARREF Size 85 
                           (DESNULL 85)
                        51 1)
                        (ACTUAL 85 
                           (REALLIT 2.0 85 2)
                           (ACTUALNULL 85)
                        18)
                     17)
                  16)
               15)
               (STAT 88 
                  (PROCCALL 86 
                     (VARREF MM 86 
                        (DESNULL 86)
                     23 8)
                     (ACTUAL 86 
                        (VARREF A 86 
                           (DESNULL 86)
                        48 13)
                        (ACTUAL 86 
                           (VARREF B 86 
                              (DESNULL 86)
                           49 13)
                           (ACTUAL 86 
                              (VARREF C 86 
                                 (DESNULL 86)
                              50 13)
                              (ACTUAL 86 
                                 (VARREF Size 86 
                                    (DESNULL 86)
                                 51 1)
                                 (ACTUALNULL 86)
                              27)
                           26)
                        25)
                     24)
                  23)
                  (STAT 88 
                     (PROCCALL 87 
                        (VARREF Check 87 
                           (DESNULL 87)
                        35 8)
                        (ACTUAL 87 
                           (VARREF A 87 
                              (DESNULL 87)
                           48 13)
                           (ACTUAL 87 
                              (VARREF Size 87 
                                 (DESNULL 87)
                              51 1)
                              (ACTUAL 87 
                                 (BINARY "*" 87 
                                    (REALLIT 2.0 87 2)
                                    (UNARY "FLOAT" 87 
                                       (VARREF Size 87 
                                          (DESNULL 87)
                                       51 1)
                                    2)
                                 2)
                                 (ACTUALNULL 87)
                              38)
                           37)
                        36)
                     35)
                     (STATNULL 88)
                  )
               )
            )
         )
      )
   11)
)

PROGRAMS/matmul.luc
(
   (
      (11 ProcedureSy $MAIN 66 0 
         ()
         (14 43 44 45 46)
      0 0)
      (12 TypeSy T1 3 0 ArrayType 110 1 0)
      (13 TypeSy T 4 0 ArrayType 110 12 0)
      (14 VariableSy Seed 6 0 2 0 0)
      (15 ProcedureSy Create 17 0 
         (16 17 18)
         (19 20 21 22)
      0 0)
      (16 FormalSy A 8 1 13 0 9 0 1 VAR)
      (17 FormalSy M 8 1 1 0 9 0 2 VAL)
      (18 FormalSy V 8 1 1 0 9 0 3 VAL)
      (19 VariableSy i 9 1 1 0 0)
      (20 VariableSy j 10 1 1 0 0)
      (21 VariableSy $0 16 1 1 0 0)
      (22 VariableSy $1 15 1 1 0 0)
      (23 ProcedureSy MM 33 0 
         (24 25 26 27)
         (28 29 30 31 32 33)
      0 0)
      (24 FormalSy A 20 1 13 0 9 0 1 VAR)
      (25 FormalSy B 20 1 13 0 9 0 2 VAR)
      (26 FormalSy C 20 1 13 0 9 0 3 VAR)
      (27 FormalSy M 20 1 1 0 9 0 4 VAL)
      (28 VariableSy i 21 1 1 0 0)
      (29 VariableSy j 22 1 1 0 0)
      (30 VariableSy k 23 1 1 0 0)
      (31 VariableSy $2 32 1 1 0 0)
      (32 VariableSy $3 31 1 1 0 0)
      (33 VariableSy $4 30 1 1 0 0)
      (34 ProcedureSy Check 54 0 
         (35 36 37)
         (38 39 40 41 42)
      0 0)
      (35 FormalSy A 35 1 13 0 9 0 1 VAR)
      (36 FormalSy M 35 1 1 0 9 0 2 VAL)
      (37 FormalSy V 35 1 1 0 9 0 3 VAL)
      (38 VariableSy i 36 1 1 0 0)
      (39 VariableSy j 37 1 1 0 0)
      (40 VariableSy OK 38 1 1 0 0)
      (41 VariableSy $5 47 1 1 0 0)
      (42 VariableSy $6 46 1 1 0 0)
      (43 VariableSy A 56 0 13 0 0)
      (44 VariableSy B 57 0 13 0 0)
      (45 VariableSy C 58 0 13 0 0)
      (46 VariableSy Size 59 0 1 0 0)
   )
   (PROGRAM MatMul 66 
      (DECL 60 
         (ARRAYDECL T1 INTEGER 3 
            (INTLIT 110 3 1)
         12)
         (DECL 60 
            (ARRAYDECL T T1 4 
               (INTLIT 110 4 1)
            13)
            (DECL 60 
               (VARDECL Seed REAL 6 14)
               (DECL 60 
                  (PROCDECL Create 17 
                     (DECL 8 
                        (FORMALDECL A T VAR 8 16)
                        (DECL 8 
                           (FORMALDECL M INTEGER VAL 8 17)
                           (DECL 8 
                              (FORMALDECL V INTEGER VAL 8 18)
                              (DECLNULL 8)
                           )
                        )
                     )
                     (DECL 11 
                        (VARDECL i INTEGER 9 19)
                        (DECL 11 
                           (VARDECL j INTEGER 10 20)
                           (DECLNULL 11)
                        )
                     )
                     (STAT 17 
                        (FOR i 16 
                           (INTLIT 1 12 1)
                           (VARREF M 12 
                              (DESNULL 12)
                           17 1)
                           (INTLIT 1 12 1)
                        1 
                           (STAT 16 
                              (FOR j 15 
                                 (INTLIT 1 13 1)
                                 (VARREF M 13 
                                    (DESNULL 13)
                                 17 1)
                                 (INTLIT 1 13 1)
                              1 
                                 (STAT 15 
                                    (ASSIGN 14 
                                       (VARREF A 14 
                                          (INDEX 14 
                                             (VARREF i 14 
                                                (DESNULL 14)
                                             19 1)
                                             (INDEX 14 
                                                (VARREF j 14 
                                                   (DESNULL 14)
                                                20 1)
                                                (DESNULL 14)
                                             12)
                                          13)
                                       16 1)
                                       (VARREF V 14 
                                          (DESNULL 14)
                                       18 1)
                                    )
                                    (STATNULL 15)
                                 )
                              20 22)
                              (STATNULL 16)
                           )
                        19 21)
                        (STATNULL 17)
                     )
                  15)
                  (DECL 60 
                     (PROCDECL MM 33 
                        (DECL 20 
                           (FORMALDECL A T VAR 20 24)
                           (DECL 20 
                              (FORMALDECL B T VAR 20 25)
                              (DECL 20 
                                 (FORMALDECL C T VAR 20 26)
                                 (DECL 20 
                                    (FORMALDECL M INTEGER VAL 20 27)
                                    (DECLNULL 20)
                                 )
                              )
                           )
                        )
                        (DECL 24 
                           (VARDECL i INTEGER 21 28)
                           (DECL 24 
                              (VARDECL j INTEGER 22 29)
                              (DECL 24 
                                 (VARDECL k INTEGER 23 30)
                                 (DECLNULL 24)
                              )
                           )
                        )
                        (STAT 33 
                           (FOR i 32 
                              (INTLIT 1 25 1)
                              (VARREF M 25 
                                 (DESNULL 25)
                              27 1)
                              (INTLIT 1 25 1)
                           1 
                              (STAT 32 
                                 (FOR j 31 
                                    (INTLIT 1 26 1)
                                    (VARREF M 26 
                                       (DESNULL 26)
                                    27 1)
                                    (INTLIT 1 26 1)
                                 1 
                                    (STAT 31 
                                       (ASSIGN 27 
                                          (VARREF A 27 
                                             (INDEX 27 
                                                (VARREF i 27 
                                                   (DESNULL 27)
                                                28 1)
                                                (INDEX 27 
                                                   (VARREF j 27 
                                                      (DESNULL 27)
                                                   29 1)
                                                   (DESNULL 27)
                                                12)
                                             13)
                                          24 1)
                                          (INTLIT 0 27 1)
                                       )
                                       (STAT 31 
                                          (FOR k 30 
                                             (INTLIT 1 28 1)
                                             (VARREF M 28 
                                                (DESNULL 28)
                                             27 1)
                                             (INTLIT 1 28 1)
                                          1 
                                             (STAT 30 
                                                (ASSIGN 29 
                                                   (VARREF A 29 
                                                      (INDEX 29 
                                                         (VARREF i 29 
                                                            (DESNULL 29)
                                                         28 1)
                                                         (INDEX 29 
                                                            (VARREF j 29 
                                                               (DESNULL 29)
                                                            29 1)
                                                            (DESNULL 29)
                                                         12)
                                                      13)
                                                   24 1)
                                                   (BINARY "+" 29 
                                                      (VARREF A 29 
                                                         (INDEX 29 
                                                            (VARREF i 29 
                                                               (DESNULL 29)
                                                            28 1)
                                                            (INDEX 29 
                                                               (VARREF j 29 
                                                                  (DESNULL 29)
                                                               29 1)
                                                               (DESNULL 29)
                                                            12)
                                                         13)
                                                      24 1)
                                                      (BINARY "*" 29 
                                                         (VARREF B 29 
                                                            (INDEX 29 
                                                               (VARREF i 29 
                                                                  (DESNULL 29)
                                                               28 1)
                                                               (INDEX 29 
                                                                  (VARREF k 29 
                                                                     (DESNULL 29)
                                                                  30 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         25 1)
                                                         (VARREF C 29 
                                                            (INDEX 29 
                                                               (VARREF k 29 
                                                                  (DESNULL 29)
                                                               30 1)
                                                               (INDEX 29 
                                                                  (VARREF j 29 
                                                                     (DESNULL 29)
                                                                  29 1)
                                                                  (DESNULL 29)
                                                               12)
                                                            13)
                                                         26 1)
                                                      1)
                                                   1)
                                                )
                                                (STATNULL 30)
                                             )
                                          30 33)
                                          (STATNULL 31)
                                       )
                                    )
                                 29 32)
                                 (STATNULL 32)
                              )
                           28 31)
                           (STATNULL 33)
                        )
                     23)
                     (DECL 60 
                        (PROCDECL Check 54 
                           (DECL 35 
                              (FORMALDECL A T VAR 35 35)
                              (DECL 35 
                                 (FORMALDECL M INTEGER VAL 35 36)
                                 (DECL 35 
                                    (FORMALDECL V INTEGER VAL 35 37)
                                    (DECLNULL 35)
                                 )
                              )
                           )
                           (DECL 39 
                              (VARDECL i INTEGER 36 38)
                              (DECL 39 
                                 (VARDECL j INTEGER 37 39)
                                 (DECL 39 
                                    (VARDECL OK INTEGER 38 40)
                                    (DECLNULL 39)
                                 )
                              )
                           )
                           (STAT 54 
                              (ASSIGN 40 
                                 (VARREF OK 40 
                                    (DESNULL 40)
                                 40 1)
                                 (INTLIT 1 40 1)
                              )
                              (STAT 54 
                                 (FOR i 47 
                                    (INTLIT 1 41 1)
                                    (VARREF M 41 
                                       (DESNULL 41)
                                    36 1)
                                    (INTLIT 1 41 1)
                                 1 
                                    (STAT 47 
                                       (FOR j 46 
                                          (INTLIT 1 42 1)
                                          (VARREF M 42 
                                             (DESNULL 42)
                                          36 1)
                                          (INTLIT 1 42 1)
                                       1 
                                          (STAT 46 
                                             (IF1 45 
                                                (BINARY "#" 43 
                                                   (VARREF A 43 
                                                      (INDEX 43 
                                                         (VARREF i 43 
                                                            (DESNULL 43)
                                                         38 1)
                                                         (INDEX 43 
                                                            (VARREF j 43 
                                                               (DESNULL 43)
                                                            39 1)
                                                            (DESNULL 43)
                                                         12)
                                                      13)
                                                   35 1)
                                                   (VARREF V 43 
                                                      (DESNULL 43)
                                                   37 1)
                                                5)
                                                (STAT 45 
                                                   (ASSIGN 44 
                                                      (VARREF OK 44 
                                                         (DESNULL 44)
                                                      40 1)
                                                      (INTLIT 0 44 1)
                                                   )
                                                   (STATNULL 45)
                                                )
                                             )
                                             (STATNULL 46)
                                          )
                                       39 42)
                                       (STATNULL 47)
                                    )
                                 38 41)
                                 (STAT 54 
                                    (IF2 52 
                                       (BINARY "=" 48 
                                          (VARREF OK 48 
                                             (DESNULL 48)
                                          40 1)
                                          (INTLIT 1 48 1)
                                       5)
                                       (STAT 50 
                                          (WRITE 49 
                                             (STRINGLIT "SUCCEED" 49 4)
                                          )
                                          (STATNULL 50)
                                       )
                                       (STAT 52 
                                          (WRITE 51 
                                             (STRINGLIT "FAIL" 51 4)
                                          )
                                          (STATNULL 52)
                                       )
                                    )
                                    (STAT 54 
                                       (WRITELN 53)
                                       (STATNULL 54)
                                    )
                                 )
                              )
                           )
                        34)
                        (DECL 60 
                           (VARDECL A T 56 43)
                           (DECL 60 
                              (VARDECL B T 57 44)
                              (DECL 60 
                                 (VARDECL C T 58 45)
                                 (DECL 60 
                                    (VARDECL Size INTEGER 59 46)
                                    (DECLNULL 60)
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 66 
         (ASSIGN 61 
            (VARREF Size 61 
               (DESNULL 61)
            46 1)
            (INTLIT 100 61 1)
         )
         (STAT 66 
            (PROCCALL 62 
               (VARREF Create 62 
                  (DESNULL 62)
               15 8)
               (ACTUAL 62 
                  (VARREF B 62 
                     (DESNULL 62)
                  44 13)
                  (ACTUAL 62 
                     (VARREF Size 62 
                        (DESNULL 62)
                     46 1)
                     (ACTUAL 62 
                        (INTLIT 1 62 1)
                        (ACTUALNULL 62)
                     18)
                  17)
               16)
            15)
            (STAT 66 
               (PROCCALL 63 
                  (VARREF Create 63 
                     (DESNULL 63)
                  15 8)
                  (ACTUAL 63 
                     (VARREF C 63 
                        (DESNULL 63)
                     45 13)
                     (ACTUAL 63 
                        (VARREF Size 63 
                           (DESNULL 63)
                        46 1)
                        (ACTUAL 63 
                           (INTLIT 2 63 1)
                           (ACTUALNULL 63)
                        18)
                     17)
                  16)
               15)
               (STAT 66 
                  (PROCCALL 64 
                     (VARREF MM 64 
                        (DESNULL 64)
                     23 8)
                     (ACTUAL 64 
                        (VARREF A 64 
                           (DESNULL 64)
                        43 13)
                        (ACTUAL 64 
                           (VARREF B 64 
                              (DESNULL 64)
                           44 13)
                           (ACTUAL 64 
                              (VARREF C 64 
                                 (DESNULL 64)
                              45 13)
                              (ACTUAL 64 
                                 (VARREF Size 64 
                                    (DESNULL 64)
                                 46 1)
                                 (ACTUALNULL 64)
                              27)
                           26)
                        25)
                     24)
                  23)
                  (STAT 66 
                     (PROCCALL 65 
                        (VARREF Check 65 
                           (DESNULL 65)
                        34 8)
                        (ACTUAL 65 
                           (VARREF A 65 
                              (DESNULL 65)
                           43 13)
                           (ACTUAL 65 
                              (VARREF Size 65 
                                 (DESNULL 65)
                              46 1)
                              (ACTUAL 65 
                                 (BINARY "*" 65 
                                    (INTLIT 2 65 1)
                                    (VARREF Size 65 
                                       (DESNULL 65)
                                    46 1)
                                 1)
                                 (ACTUALNULL 65)
                              37)
                           36)
                        35)
                     34)
                     (STATNULL 66)
                  )
               )
            )
         )
      )
   11)
)

PROGRAMS/prime.luc
(
   (
      (11 ProcedureSy $MAIN 59 0 
         ()
         (13 14 20 21 22 23)
      0 0)
      (12 TypeSy BinArray 3 0 ArrayType 1000 1 0)
      (13 VariableSy bin 5 0 12 0 0)
      (14 VariableSy numbins 6 0 1 0 0)
      (15 ProcedureSy InitBins 12 0 
         ()
         ()
      0 0)
      (16 ProcedureSy Contains 31 0 
         (17 18)
         (19)
      0 0)
      (17 FormalSy val 14 1 1 0 9 0 1 VAL)
      (18 FormalSy result 14 1 1 0 9 0 2 VAR)
      (19 VariableSy checking 15 1 1 0 0)
      (20 VariableSy current 33 0 1 0 0)
      (21 VariableSy depth 34 0 1 0 0)
      (22 VariableSy finish 35 0 1 0 0)
      (23 VariableSy result 36 0 1 0 0)
   )
   (PROGRAM Prime 59 
      (DECL 37 
         (ARRAYDECL BinArray INTEGER 3 
            (INTLIT 1000 3 1)
         12)
         (DECL 37 
            (VARDECL bin BinArray 5 13)
            (DECL 37 
               (VARDECL numbins INTEGER 6 14)
               (DECL 37 
                  (PROCDECL InitBins 12 
                     (DECLNULL 8)
                     (DECLNULL 9)
                     (STAT 12 
                        (ASSIGN 10 
                           (VARREF bin 10 
                              (INDEX 10 
                                 (INTLIT 2 10 1)
                                 (DESNULL 10)
                              12)
                           13 1)
                           (INTLIT 2 10 1)
                        )
                        (STAT 12 
                           (ASSIGN 11 
                              (VARREF numbins 11 
                                 (DESNULL 11)
                              14 1)
                              (INTLIT 2 11 1)
                           )
                           (STATNULL 12)
                        )
                     )
                  15)
                  (DECL 37 
                     (PROCDECL Contains 31 
                        (DECL 14 
                           (FORMALDECL val INTEGER VAL 14 17)
                           (DECL 14 
                              (FORMALDECL result INTEGER VAR 14 18)
                              (DECLNULL 14)
                           )
                        )
                        (DECL 16 
                           (VARDECL checking INTEGER 15 19)
                           (DECLNULL 16)
                        )
                        (STAT 31 
                           (ASSIGN 17 
                              (VARREF result 17 
                                 (DESNULL 17)
                              18 1)
                              (INTLIT 0 17 1)
                           )
                           (STAT 31 
                              (ASSIGN 18 
                                 (VARREF checking 18 
                                    (DESNULL 18)
                                 19 1)
                                 (INTLIT 2 18 1)
                              )
                              (STAT 31 
                                 (WHILE 29 
                                    (BINARY "<=" 19 
                                       (VARREF checking 19 
                                          (DESNULL 19)
                                       19 1)
                                       (VARREF numbins 19 
                                          (DESNULL 19)
                                       14 1)
                                    5)
                                    (STAT 29 
                                       (WHILE 22 
                                          (BINARY ">" 20 
                                             (VARREF val 20 
                                                (DESNULL 20)
                                             17 1)
                                             (VARREF bin 20 
                                                (INDEX 20 
                                                   (VARREF checking 20 
                                                      (DESNULL 20)
                                                   19 1)
                                                   (DESNULL 20)
                                                12)
                                             13 1)
                                          5)
                                          (STAT 22 
                                             (ASSIGN 21 
                                                (VARREF bin 21 
                                                   (INDEX 21 
                                                      (VARREF checking 21 
                                                         (DESNULL 21)
                                                      19 1)
                                                      (DESNULL 21)
                                                   12)
                                                13 1)
                                                (BINARY "+" 21 
                                                   (VARREF bin 21 
                                                      (INDEX 21 
                                                         (VARREF checking 21 
                                                            (DESNULL 21)
                                                         19 1)
                                                         (DESNULL 21)
                                                      12)
                                                   13 1)
                                                   (VARREF checking 21 
                                                      (DESNULL 21)
                                                   19 1)
                                                1)
                                             )
                                             (STATNULL 22)
                                          )
                                       )
                                       (STAT 29 
                                          (IF1 27 
                                             (BINARY "=" 25 
                                                (VARREF val 25 
                                                   (DESNULL 25)
                                                17 1)
                                                (VARREF bin 25 
                                                   (INDEX 25 
                                                      (VARREF checking 25 
                                                         (DESNULL 25)
                                                      19 1)
                                                      (DESNULL 25)
                                                   12)
                                                13 1)
                                             5)
                                             (STAT 27 
                                                (ASSIGN 26 
                                                   (VARREF result 26 
                                                      (DESNULL 26)
                                                   18 1)
                                                   (INTLIT 1 26 1)
                                                )
                                                (STATNULL 27)
                                             )
                                          )
                                          (STAT 29 
                                             (ASSIGN 28 
                                                (VARREF checking 28 
                                                   (DESNULL 28)
                                                19 1)
                                                (BINARY "+" 28 
                                                   (VARREF checking 28 
                                                      (DESNULL 28)
                                                   19 1)
                                                   (INTLIT 1 28 1)
                                                1)
                                             )
                                             (STATNULL 29)
                                          )
                                       )
                                    )
                                 )
                                 (STATNULL 31)
                              )
                           )
                        )
                     16)
                     (DECL 37 
                        (VARDECL current INTEGER 33 20)
                        (DECL 37 
                           (VARDECL depth INTEGER 34 21)
                           (DECL 37 
                              (VARDECL finish INTEGER 35 22)
                              (DECL 37 
                                 (VARDECL result INTEGER 36 23)
                                 (DECLNULL 37)
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 59 
         (ASSIGN 38 
            (VARREF current 38 
               (DESNULL 38)
            20 1)
            (INTLIT 2 38 1)
         )
         (STAT 59 
            (ASSIGN 39 
               (VARREF depth 39 
                  (DESNULL 39)
               21 1)
               (INTLIT 3 39 1)
            )
            (STAT 59 
               (ASSIGN 40 
                  (VARREF finish 40 
                     (DESNULL 40)
                  22 1)
                  (INTLIT 100000 40 1)
               )
               (STAT 59 
                  (PROCCALL 42 
                     (VARREF InitBins 42 
                        (DESNULL 42)
                     15 8)
                     (ACTUALNULL 42)
                  15)
                  (STAT 59 
                     (WHILE 58 
                        (BINARY "<" 44 
                           (VARREF current 44 
                              (DESNULL 44)
                           20 1)
                           (VARREF finish 44 
                              (DESNULL 44)
                           22 1)
                        5)
                        (STAT 58 
                           (IF1 49 
                              (BINARY "=" 45 
                                 (VARREF current 45 
                                    (DESNULL 45)
                                 20 1)
                                 (BINARY "*" 45 
                                    (VARREF depth 45 
                                       (DESNULL 45)
                                    21 1)
                                    (VARREF depth 45 
                                       (DESNULL 45)
                                    21 1)
                                 1)
                              5)
                              (STAT 49 
                                 (ASSIGN 46 
                                    (VARREF depth 46 
                                       (DESNULL 46)
                                    21 1)
                                    (BINARY "+" 46 
                                       (VARREF depth 46 
                                          (DESNULL 46)
                                       21 1)
                                       (INTLIT 1 46 1)
                                    1)
                                 )
                                 (STAT 49 
                                    (ASSIGN 47 
                                       (VARREF numbins 47 
                                          (DESNULL 47)
                                       14 1)
                                       (BINARY "+" 47 
                                          (VARREF numbins 47 
                                             (DESNULL 47)
                                          14 1)
                                          (INTLIT 1 47 1)
                                       1)
                                    )
                                    (STAT 49 
                                       (ASSIGN 48 
                                          (VARREF bin 48 
                                             (INDEX 48 
                                                (VARREF numbins 48 
                                                   (DESNULL 48)
                                                14 1)
                                                (DESNULL 48)
                                             12)
                                          13 1)
                                          (BINARY "*" 48 
                                             (VARREF numbins 48 
                                                (DESNULL 48)
                                             14 1)
                                             (VARREF numbins 48 
                                                (DESNULL 48)
                                             14 1)
                                          1)
                                       )
                                       (STATNULL 49)
                                    )
                                 )
                              )
                           )
                           (STAT 58 
                              (PROCCALL 51 
                                 (VARREF Contains 51 
                                    (DESNULL 51)
                                 16 8)
                                 (ACTUAL 51 
                                    (VARREF current 51 
                                       (DESNULL 51)
                                    20 1)
                                    (ACTUAL 51 
                                       (VARREF result 51 
                                          (DESNULL 51)
                                       23 1)
                                       (ACTUALNULL 51)
                                    18)
                                 17)
                              16)
                              (STAT 58 
                                 (IF1 55 
                                    (BINARY "=" 52 
                                       (VARREF result 52 
                                          (DESNULL 52)
                                       23 1)
                                       (INTLIT 0 52 1)
                                    5)
                                    (STAT 55 
                                       (WRITE 53 
                                          (VARREF current 53 
                                             (DESNULL 53)
                                          20 1)
                                       )
                                       (STAT 55 
                                          (WRITELN 54)
                                          (STATNULL 55)
                                       )
                                    )
                                 )
                                 (STAT 58 
                                    (ASSIGN 57 
                                       (VARREF current 57 
                                          (DESNULL 57)
                                       20 1)
                                       (BINARY "+" 57 
                                          (VARREF current 57 
                                             (DESNULL 57)
                                          20 1)
                                          (INTLIT 1 57 1)
                                       1)
                                    )
                                    (STATNULL 58)
                                 )
                              )
                           )
                        )
                     )
                     (STATNULL 59)
                  )
               )
            )
         )
      )
   11)
)

PROGRAMS/quicksort.luc
(
   (
      (11 ProcedureSy $MAIN 119 0 
         ()
         (22 34 47 48)
      0 0)
      (12 TypeSy T 3 0 ArrayType 101 1 0)
      (13 ProcedureSy Create 19 0 
         (14 15)
         (16)
      0 0)
      (14 FormalSy A 6 1 12 0 9 0 1 VAR)
      (15 FormalSy max 7 1 1 0 9 0 2 VAL)
      (16 VariableSy i 8 1 1 0 0)
      (17 ProcedureSy IsSorted 34 0 
         (18 19)
         (20 21)
      0 0)
      (18 FormalSy max 22 1 1 0 9 0 1 VAL)
      (19 FormalSy A 23 1 12 0 9 0 2 VAR)
      (20 VariableSy i 24 1 1 0 0)
      (21 VariableSy r 25 1 1 0 0)
      (22 VariableSy PivotIndex 36 0 1 0 0)
      (23 ProcedureSy FindPivot 58 0 
         (24 25 26)
         (27 28)
      0 0)
      (24 FormalSy A 39 1 12 0 9 0 1 VAR)
      (25 FormalSy i 40 1 1 0 9 0 2 VAL)
      (26 FormalSy j 41 1 1 0 9 0 3 VAL)
      (27 VariableSy first 42 1 1 0 0)
      (28 VariableSy k 43 1 1 0 0)
      (29 ProcedureSy Swap 69 0 
         (30 31 32)
         (33)
      0 0)
      (30 FormalSy A 61 1 12 0 9 0 1 VAR)
      (31 FormalSy x 62 1 1 0 9 0 2 VAL)
      (32 FormalSy y 63 1 1 0 9 0 3 VAL)
      (33 VariableSy t 64 1 1 0 0)
      (34 VariableSy PartElem 72 0 1 0 0)
      (35 ProcedureSy Partition 95 0 
         (36 37 38 39)
         (40 41)
      0 0)
      (36 FormalSy A 74 1 12 0 9 0 1 VAR)
      (37 FormalSy i 75 1 1 0 9 0 2 VAL)
      (38 FormalSy j 76 1 1 0 9 0 3 VAL)
      (39 FormalSy pivot 77 1 1 0 9 0 4 VAL)
      (40 VariableSy l 78 1 1 0 0)
      (41 VariableSy r 79 1 1 0 0)
      (42 ProcedureSy Sort 111 0 
         (43 44 45)
         (46)
      0 0)
      (43 FormalSy A 99 1 12 0 9 0 1 VAR)
      (44 FormalSy i 100 1 1 0 9 0 2 VAL)
      (45 FormalSy j 101 1 1 0 9 0 3 VAL)
      (46 VariableSy pivot 102 1 1 0 0)
      (47 VariableSy a 113 0 12 0 0)
      (48 VariableSy i 114 0 1 0 0)
   )
   (PROGRAM P 119 
      (DECL 115 
         (ARRAYDECL T INTEGER 3 
            (INTLIT 101 3 1)
         12)
         (DECL 115 
            (PROCDECL Create 19 
               (DECL 7 
                  (FORMALDECL A T VAR 6 14)
                  (DECL 7 
                     (FORMALDECL max INTEGER VAL 7 15)
                     (DECLNULL 7)
                  )
               )
               (DECL 9 
                  (VARDECL i INTEGER 8 16)
                  (DECLNULL 9)
               )
               (STAT 19 
                  (ASSIGN 10 
                     (VARREF i 10 
                        (DESNULL 10)
                     16 1)
                     (INTLIT 1 10 1)
                  )
                  (STAT 19 
                     (WHILE 13 
                        (BINARY "<=" 11 
                           (VARREF i 11 
                              (DESNULL 11)
                           16 1)
                           (VARREF max 11 
                              (DESNULL 11)
                           15 1)
                        5)
                        (STAT 13 
                           (ASSIGN 12 
                              (VARREF A 12 
                                 (INDEX 12 
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                    (DESNULL 12)
                                 12)
                              14 1)
                              (BINARY "-" 12 
                                 (VARREF max 12 
                                    (DESNULL 12)
                                 15 1)
                                 (VARREF i 12 
                                    (DESNULL 12)
                                 16 1)
                              1)
                           )
                           (STAT 13 
                              (ASSIGN 12 
                                 (VARREF i 12 
                                    (DESNULL 12)
                                 16 1)
                                 (BINARY "+" 12 
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                    (INTLIT 1 12 1)
                                 1)
                              )
                              (STATNULL 13)
                           )
                        )
                     )
                     (STAT 19 
                        (ASSIGN 15 
                           (VARREF i 15 
                              (DESNULL 15)
                           16 1)
                           (INTLIT 1 15 1)
                        )
                        (STAT 19 
                           (WHILE 18 
                              (BINARY "<=" 16 
                                 (VARREF i 16 
                                    (DESNULL 16)
                                 16 1)
                                 (VARREF max 16 
                                    (DESNULL 16)
                                 15 1)
                              5)
                              (STAT 18 
                                 (ASSIGN 17 
                                    (VARREF A 17 
                                       (INDEX 17 
                                          (VARREF i 17 
                                             (DESNULL 17)
                                          16 1)
                                          (DESNULL 17)
                                       12)
                                    14 1)
                                    (VARREF i 17 
                                       (DESNULL 17)
                                    16 1)
                                 )
                                 (STAT 18 
                                    (ASSIGN 17 
                                       (VARREF i 17 
                                          (DESNULL 17)
                                       16 1)
                                       (BINARY "+" 17 
                                          (VARREF i 17 
                                             (DESNULL 17)
                                          16 1)
                                          (INTLIT 2 17 1)
                                       1)
                                    )
                                    (STATNULL 18)
                                 )
                              )
                           )
                           (STATNULL 19)
                        )
                     )
                  )
               )
            13)
            (DECL 115 
               (PROCDECL IsSorted 34 
                  (DECL 23 
                     (FORMALDECL max INTEGER VAL 22 18)
                     (DECL 23 
                        (FORMALDECL A T VAR 23 19)
                        (DECLNULL 23)
                     )
                  )
                  (DECL 26 
                     (VARDECL i INTEGER 24 20)
                     (DECL 26 
                        (VARDECL r INTEGER 25 21)
                        (DECLNULL 26)
                     )
                  )
                  (STAT 34 
                     (ASSIGN 27 
                        (VARREF r 27 
                           (DESNULL 27)
                        21 1)
                        (INTLIT 0 27 1)
                     )
                     (STAT 34 
                        (ASSIGN 28 
                           (VARREF i 28 
                              (DESNULL 28)
                           20 1)
                           (INTLIT 1 28 1)
                        )
                        (STAT 34 
                           (WHILE 32 
                              (BINARY "<" 29 
                                 (VARREF i 29 
                                    (DESNULL 29)
                                 20 1)
                                 (VARREF max 29 
                                    (DESNULL 29)
                                 18 1)
                              5)
                              (STAT 32 
                                 (IF1 30 
                                    (BINARY ">" 30 
                                       (VARREF A 30 
                                          (INDEX 30 
                                             (VARREF i 30 
                                                (DESNULL 30)
                                             20 1)
                                             (DESNULL 30)
                                          12)
                                       19 1)
                                       (VARREF A 30 
                                          (INDEX 30 
                                             (BINARY "+" 30 
                                                (VARREF i 30 
                                                   (DESNULL 30)
                                                20 1)
                                                (INTLIT 1 30 1)
                                             1)
                                             (DESNULL 30)
                                          12)
                                       19 1)
                                    5)
                                    (STAT 30 
                                       (ASSIGN 30 
                                          (VARREF r 30 
                                             (DESNULL 30)
                                          21 1)
                                          (INTLIT 1 30 1)
                                       )
                                       (STATNULL 30)
                                    )
                                 )
                                 (STAT 32 
                                    (ASSIGN 31 
                                       (VARREF i 31 
                                          (DESNULL 31)
                                       20 1)
                                       (BINARY "+" 31 
                                          (VARREF i 31 
                                             (DESNULL 31)
                                          20 1)
                                          (INTLIT 1 31 1)
                                       1)
                                    )
                                    (STATNULL 32)
                                 )
                              )
                           )
                           (STAT 34 
                              (WRITE 33 
                                 (VARREF r 33 
                                    (DESNULL 33)
                                 21 1)
                              )
                              (STAT 34 
                                 (WRITELN 33)
                                 (STATNULL 34)
                              )
                           )
                        )
                     )
                  )
               17)
               (DECL 115 
                  (VARDECL PivotIndex INTEGER 36 22)
                  (DECL 115 
                     (PROCDECL FindPivot 58 
                        (DECL 41 
                           (FORMALDECL A T VAR 39 24)
                           (DECL 41 
                              (FORMALDECL i INTEGER VAL 40 25)
                              (DECL 41 
                                 (FORMALDECL j INTEGER VAL 41 26)
                                 (DECLNULL 41)
                              )
                           )
                        )
                        (DECL 44 
                           (VARDECL first INTEGER 42 27)
                           (DECL 44 
                              (VARDECL k INTEGER 43 28)
                              (DECLNULL 44)
                           )
                        )
                        (STAT 58 
                           (ASSIGN 45 
                              (VARREF first 45 
                                 (DESNULL 45)
                              27 1)
                              (VARREF A 45 
                                 (INDEX 45 
                                    (VARREF i 45 
                                       (DESNULL 45)
                                    25 1)
                                    (DESNULL 45)
                                 12)
                              24 1)
                           )
                           (STAT 58 
                              (ASSIGN 46 
                                 (VARREF k 46 
                                    (DESNULL 46)
                                 28 1)
                                 (BINARY "+" 46 
                                    (VARREF i 46 
                                       (DESNULL 46)
                                    25 1)
                                    (INTLIT 1 46 1)
                                 1)
                              )
                              (STAT 58 
                                 (ASSIGN 47 
                                    (VARREF PivotIndex 47 
                                       (DESNULL 47)
                                    22 1)
                                    (INTLIT 0 47 1)
                                 )
                                 (STAT 58 
                                    (WHILE 57 
                                       (BINARY "<=" 48 
                                          (VARREF k 48 
                                             (DESNULL 48)
                                          28 1)
                                          (VARREF j 48 
                                             (DESNULL 48)
                                          26 1)
                                       5)
                                       (STAT 57 
                                          (IF2 55 
                                             (BINARY ">" 49 
                                                (VARREF A 49 
                                                   (INDEX 49 
                                                      (VARREF k 49 
                                                         (DESNULL 49)
                                                      28 1)
                                                      (DESNULL 49)
                                                   12)
                                                24 1)
                                                (VARREF first 49 
                                                   (DESNULL 49)
                                                27 1)
                                             5)
                                             (STAT 51 
                                                (ASSIGN 50 
                                                   (VARREF PivotIndex 50 
                                                      (DESNULL 50)
                                                   22 1)
                                                   (VARREF k 50 
                                                      (DESNULL 50)
                                                   28 1)
                                                )
                                                (STAT 51 
                                                   (ASSIGN 50 
                                                      (VARREF k 50 
                                                         (DESNULL 50)
                                                      28 1)
                                                      (BINARY "+" 50 
                                                         (VARREF j 50 
                                                            (DESNULL 50)
                                                         26 1)
                                                         (INTLIT 1 50 1)
                                                      1)
                                                   )
                                                   (STATNULL 51)
                                                )
                                             )
                                             (STAT 55 
                                                (IF1 54 
                                                   (BINARY "<" 52 
                                                      (VARREF A 52 
                                                         (INDEX 52 
                                                            (VARREF k 52 
                                                               (DESNULL 52)
                                                            28 1)
                                                            (DESNULL 52)
                                                         12)
                                                      24 1)
                                                      (VARREF first 52 
                                                         (DESNULL 52)
                                                      27 1)
                                                   5)
                                                   (STAT 54 
                                                      (ASSIGN 53 
                                                         (VARREF PivotIndex 53 
                                                            (DESNULL 53)
                                                         22 1)
                                                         (VARREF i 53 
                                                            (DESNULL 53)
                                                         25 1)
                                                      )
                                                      (STAT 54 
                                                         (ASSIGN 53 
                                                            (VARREF k 53 
                                                               (DESNULL 53)
                                                            28 1)
                                                            (BINARY "+" 53 
                                                               (VARREF j 53 
                                                                  (DESNULL 53)
                                                               26 1)
                                                               (INTLIT 1 53 1)
                                                            1)
                                                         )
                                                         (STATNULL 54)
                                                      )
                                                   )
                                                )
                                                (STATNULL 55)
                                             )
                                          )
                                          (STAT 57 
                                             (ASSIGN 56 
                                                (VARREF k 56 
                                                   (DESNULL 56)
                                                28 1)
                                                (BINARY "+" 56 
                                                   (VARREF k 56 
                                                      (DESNULL 56)
                                                   28 1)
                                                   (INTLIT 1 56 1)
                                                1)
                                             )
                                             (STATNULL 57)
                                          )
                                       )
                                    )
                                    (STATNULL 58)
                                 )
                              )
                           )
                        )
                     23)
                     (DECL 115 
                        (PROCDECL Swap 69 
                           (DECL 63 
                              (FORMALDECL A T VAR 61 30)
                              (DECL 63 
                                 (FORMALDECL x INTEGER VAL 62 31)
                                 (DECL 63 
                                    (FORMALDECL y INTEGER VAL 63 32)
                                    (DECLNULL 63)
                                 )
                              )
                           )
                           (DECL 65 
                              (VARDECL t INTEGER 64 33)
                              (DECLNULL 65)
                           )
                           (STAT 69 
                              (ASSIGN 66 
                                 (VARREF t 66 
                                    (DESNULL 66)
                                 33 1)
                                 (VARREF A 66 
                                    (INDEX 66 
                                       (VARREF x 66 
                                          (DESNULL 66)
                                       31 1)
                                       (DESNULL 66)
                                    12)
                                 30 1)
                              )
                              (STAT 69 
                                 (ASSIGN 67 
                                    (VARREF A 67 
                                       (INDEX 67 
                                          (VARREF x 67 
                                             (DESNULL 67)
                                          31 1)
                                          (DESNULL 67)
                                       12)
                                    30 1)
                                    (VARREF A 67 
                                       (INDEX 67 
                                          (VARREF y 67 
                                             (DESNULL 67)
                                          32 1)
                                          (DESNULL 67)
                                       12)
                                    30 1)
                                 )
                                 (STAT 69 
                                    (ASSIGN 68 
                                       (VARREF A 68 
                                          (INDEX 68 
                                             (VARREF y 68 
                                                (DESNULL 68)
                                             32 1)
                                             (DESNULL 68)
                                          12)
                                       30 1)
                                       (VARREF t 68 
                                          (DESNULL 68)
                                       33 1)
                                    )
                                    (STATNULL 69)
                                 )
                              )
                           )
                        29)
                        (DECL 115 
                           (VARDECL PartElem INTEGER 72 34)
                           (DECL 115 
                              (PROCDECL Partition 95 
                                 (DECL 77 
                                    (FORMALDECL A T VAR 74 36)
                                    (DECL 77 
                                       (FORMALDECL i INTEGER VAL 75 37)
                                       (DECL 77 
                                          (FORMALDECL j INTEGER VAL 76 38)
                                          (DECL 77 
                                             (FORMALDECL pivot INTEGER VAL 77 39)
                                             (DECLNULL 77)
                                          )
                                       )
                                    )
                                 )
                                 (DECL 80 
                                    (VARDECL l INTEGER 78 40)
                                    (DECL 80 
                                       (VARDECL r INTEGER 79 41)
                                       (DECLNULL 80)
                                    )
                                 )
                                 (STAT 95 
                                    (ASSIGN 81 
                                       (VARREF l 81 
                                          (DESNULL 81)
                                       40 1)
                                       (VARREF i 81 
                                          (DESNULL 81)
                                       37 1)
                                    )
                                    (STAT 95 
                                       (ASSIGN 82 
                                          (VARREF r 82 
                                             (DESNULL 82)
                                          41 1)
                                          (VARREF j 82 
                                             (DESNULL 82)
                                          38 1)
                                       )
                                       (STAT 95 
                                          (PROCCALL 84 
                                             (VARREF Swap 84 
                                                (DESNULL 84)
                                             29 8)
                                             (ACTUAL 84 
                                                (VARREF A 84 
                                                   (DESNULL 84)
                                                36 12)
                                                (ACTUAL 84 
                                                   (VARREF l 84 
                                                      (DESNULL 84)
                                                   40 1)
                                                   (ACTUAL 84 
                                                      (VARREF r 84 
                                                         (DESNULL 84)
                                                      41 1)
                                                      (ACTUALNULL 84)
                                                   32)
                                                31)
                                             30)
                                          29)
                                          (STAT 95 
                                             (WHILE 85 
                                                (BINARY "<" 85 
                                                   (VARREF A 85 
                                                      (INDEX 85 
                                                         (VARREF l 85 
                                                            (DESNULL 85)
                                                         40 1)
                                                         (DESNULL 85)
                                                      12)
                                                   36 1)
                                                   (VARREF pivot 85 
                                                      (DESNULL 85)
                                                   39 1)
                                                5)
                                                (STAT 85 
                                                   (ASSIGN 85 
                                                      (VARREF l 85 
                                                         (DESNULL 85)
                                                      40 1)
                                                      (BINARY "+" 85 
                                                         (VARREF l 85 
                                                            (DESNULL 85)
                                                         40 1)
                                                         (INTLIT 1 85 1)
                                                      1)
                                                   )
                                                   (STATNULL 85)
                                                )
                                             )
                                             (STAT 95 
                                                (WHILE 86 
                                                   (BINARY ">=" 86 
                                                      (VARREF A 86 
                                                         (INDEX 86 
                                                            (VARREF r 86 
                                                               (DESNULL 86)
                                                            41 1)
                                                            (DESNULL 86)
                                                         12)
                                                      36 1)
                                                      (VARREF pivot 86 
                                                         (DESNULL 86)
                                                      39 1)
                                                   5)
                                                   (STAT 86 
                                                      (ASSIGN 86 
                                                         (VARREF r 86 
                                                            (DESNULL 86)
                                                         41 1)
                                                         (BINARY "-" 86 
                                                            (VARREF r 86 
                                                               (DESNULL 86)
                                                            41 1)
                                                            (INTLIT 1 86 1)
                                                         1)
                                                      )
                                                      (STATNULL 86)
                                                   )
                                                )
                                                (STAT 95 
                                                   (WHILE 92 
                                                      (BINARY "<=" 88 
                                                         (VARREF l 88 
                                                            (DESNULL 88)
                                                         40 1)
                                                         (VARREF r 88 
                                                            (DESNULL 88)
                                                         41 1)
                                                      5)
                                                      (STAT 92 
                                                         (PROCCALL 89 
                                                            (VARREF Swap 89 
                                                               (DESNULL 89)
                                                            29 8)
                                                            (ACTUAL 89 
                                                               (VARREF A 89 
                                                                  (DESNULL 89)
                                                               36 12)
                                                               (ACTUAL 89 
                                                                  (VARREF l 89 
                                                                     (DESNULL 89)
                                                                  40 1)
                                                                  (ACTUAL 89 
                                                                     (VARREF r 89 
                                                                        (DESNULL 89)
                                                                     41 1)
                                                                     (ACTUALNULL 89)
                                                                  32)
                                                               31)
                                                            30)
                                                         29)
                                                         (STAT 92 
                                                            (WHILE 90 
                                                               (BINARY "<" 90 
                                                                  (VARREF A 90 
                                                                     (INDEX 90 
                                                                        (VARREF l 90 
                                                                           (DESNULL 90)
                                                                        40 1)
                                                                        (DESNULL 90)
                                                                     12)
                                                                  36 1)
                                                                  (VARREF pivot 90 
                                                                     (DESNULL 90)
                                                                  39 1)
                                                               5)
                                                               (STAT 90 
                                                                  (ASSIGN 90 
                                                                     (VARREF l 90 
                                                                        (DESNULL 90)
                                                                     40 1)
                                                                     (BINARY "+" 90 
                                                                        (VARREF l 90 
                                                                           (DESNULL 90)
                                                                        40 1)
                                                                        (INTLIT 1 90 1)
                                                                     1)
                                                                  )
                                                                  (STATNULL 90)
                                                               )
                                                            )
                                                            (STAT 92 
                                                               (WHILE 91 
                                                                  (BINARY ">=" 91 
                                                                     (VARREF A 91 
                                                                        (INDEX 91 
                                                                           (VARREF r 91 
                                                                              (DESNULL 91)
                                                                           41 1)
                                                                           (DESNULL 91)
                                                                        12)
                                                                     36 1)
                                                                     (VARREF pivot 91 
                                                                        (DESNULL 91)
                                                                     39 1)
                                                                  5)
                                                                  (STAT 91 
                                                                     (ASSIGN 91 
                                                                        (VARREF r 91 
                                                                           (DESNULL 91)
                                                                        41 1)
                                                                        (BINARY "-" 91 
                                                                           (VARREF r 91 
                                                                              (DESNULL 91)
                                                                           41 1)
                                                                           (INTLIT 1 91 1)
                                                                        1)
                                                                     )
                                                                     (STATNULL 91)
                                                                  )
                                                               )
                                                               (STATNULL 92)
                                                            )
                                                         )
                                                      )
                                                   )
                                                   (STAT 95 
                                                      (ASSIGN 94 
                                                         (VARREF PartElem 94 
                                                            (DESNULL 94)
                                                         34 1)
                                                         (VARREF l 94 
                                                            (DESNULL 94)
                                                         40 1)
                                                      )
                                                      (STATNULL 95)
                                                   )
                                                )
                                             )
                                          )
                                       )
                                    )
                                 )
                              35)
                              (DECL 115 
                                 (PROCDECL Sort 111 
                                    (DECL 101 
                                       (FORMALDECL A T VAR 99 43)
                                       (DECL 101 
                                          (FORMALDECL i INTEGER VAL 100 44)
                                          (DECL 101 
                                             (FORMALDECL j INTEGER VAL 101 45)
                                             (DECLNULL 101)
                                          )
                                       )
                                    )
                                    (DECL 103 
                                       (VARDECL pivot INTEGER 102 46)
                                       (DECLNULL 103)
                                    )
                                    (STAT 111 
                                       (PROCCALL 104 
                                          (VARREF FindPivot 104 
                                             (DESNULL 104)
                                          23 8)
                                          (ACTUAL 104 
                                             (VARREF A 104 
                                                (DESNULL 104)
                                             43 12)
                                             (ACTUAL 104 
                                                (VARREF i 104 
                                                   (DESNULL 104)
                                                44 1)
                                                (ACTUAL 104 
                                                   (VARREF j 104 
                                                      (DESNULL 104)
                                                   45 1)
                                                   (ACTUALNULL 104)
                                                26)
                                             25)
                                          24)
                                       23)
                                       (STAT 111 
                                          (IF1 110 
                                             (BINARY ">" 105 
                                                (VARREF PivotIndex 105 
                                                   (DESNULL 105)
                                                22 1)
                                                (INTLIT 0 105 1)
                                             5)
                                             (STAT 110 
                                                (ASSIGN 106 
                                                   (VARREF pivot 106 
                                                      (DESNULL 106)
                                                   46 1)
                                                   (VARREF A 106 
                                                      (INDEX 106 
                                                         (VARREF PivotIndex 106 
                                                            (DESNULL 106)
                                                         22 1)
                                                         (DESNULL 106)
                                                      12)
                                                   43 1)
                                                )
                                                (STAT 110 
                                                   (PROCCALL 107 
                                                      (VARREF Partition 107 
                                                         (DESNULL 107)
                                                      35 8)
                                                      (ACTUAL 107 
                                                         (VARREF A 107 
                                                            (DESNULL 107)
                                                         43 12)
                                                         (ACTUAL 107 
                                                            (VARREF i 107 
                                                               (DESNULL 107)
                                                            44 1)
                                                            (ACTUAL 107 
                                                               (VARREF j 107 
                                                                  (DESNULL 107)
                                                               45 1)
                                                               (ACTUAL 107 
                                                                  (VARREF pivot 107 
                                                                     (DESNULL 107)
                                                                  46 1)
                                                                  (ACTUALNULL 107)
                                                               39)
                                                            38)
                                                         37)
                                                      36)
                                                   35)
                                                   (STAT 110 
                                                      (PROCCALL 108 
                                                         (VARREF Sort 108 
                                                            (DESNULL 108)
                                                         42 8)
                                                         (ACTUAL 108 
                                                            (VARREF A 108 
                                                               (DESNULL 108)
                                                            43 12)
                                                            (ACTUAL 108 
                                                               (VARREF i 108 
                                                                  (DESNULL 108)
                                                               44 1)
                                                               (ACTUAL 108 
                                                                  (BINARY "-" 108 
                                                                     (VARREF PartElem 108 
                                                                        (DESNULL 108)
                                                                     34 1)
                                                                     (INTLIT 1 108 1)
                                                                  1)
                                                                  (ACTUALNULL 108)
                                                               45)
                                                            44)
                                                         43)
                                                      42)
                                                      (STAT 110 
                                                         (PROCCALL 109 
                                                            (VARREF Sort 109 
                                                               (DESNULL 109)
                                                            42 8)
                                                            (ACTUAL 109 
                                                               (VARREF A 109 
                                                                  (DESNULL 109)
                                                               43 12)
                                                               (ACTUAL 109 
                                                                  (VARREF PartElem 109 
                                                                     (DESNULL 109)
                                                                  34 1)
                                                                  (ACTUAL 109 
                                                                     (VARREF j 109 
                                                                        (DESNULL 109)
                                                                     45 1)
                                                                     (ACTUALNULL 109)
                                                                  45)
                                                               44)
                                                            43)
                                                         42)
                                                         (STATNULL 110)
                                                      )
                                                   )
                                                )
                                             )
                                          )
                                          (STATNULL 111)
                                       )
                                    )
                                 42)
                                 (DECL 115 
                                    (VARDECL a T 113 47)
                                    (DECL 115 
                                       (VARDECL i INTEGER 114 48)
                                       (DECLNULL 115)
                                    )
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 119 
         (PROCCALL 116 
            (VARREF Create 116 
               (DESNULL 116)
            13 8)
            (ACTUAL 116 
               (VARREF a 116 
                  (DESNULL 116)
               47 12)
               (ACTUAL 116 
                  (INTLIT 100 116 1)
                  (ACTUALNULL 116)
               15)
            14)
         13)
         (STAT 119 
            (PROCCALL 117 
               (VARREF Sort 117 
                  (DESNULL 117)
               42 8)
               (ACTUAL 117 
                  (VARREF a 117 
                     (DESNULL 117)
                  47 12)
                  (ACTUAL 117 
                     (INTLIT 1 117 1)
                     (ACTUAL 117 
                        (INTLIT 100 117 1)
                        (ACTUALNULL 117)
                     45)
                  44)
               43)
            42)
            (STAT 119 
               (PROCCALL 118 
                  (VARREF IsSorted 118 
                     (DESNULL 118)
                  17 8)
                  (ACTUAL 118 
                     (INTLIT 100 118 1)
                     (ACTUAL 118 
                        (VARREF a 118 
                           (DESNULL 118)
                        47 12)
                        (ACTUALNULL 118)
                     19)
                  18)
               17)
               (STATNULL 119)
            )
         )
      )
   11)
)

PROGRAMS/realBubbleSort.luc
(
   (
      (11 ProcedureSy $MAIN 68 0 
         ()
         (32 33)
      0 0)
      (12 TypeSy T 3 0 ArrayType 11 2 0)
      (13 ProcedureSy Create 15 0 
         (14 15)
         (16)
      0 0)
      (14 FormalSy max 6 1 1 0 9 0 1 VAL)
      (15 FormalSy A 7 1 12 0 9 0 2 VAR)
      (16 VariableSy i 8 1 1 0 0)
      (17 ProcedureSy IsSorted 30 0 
         (18 19)
         (20 21)
      0 0)
      (18 FormalSy max 18 1 1 0 9 0 1 VAL)
      (19 FormalSy A 19 1 12 0 9 0 2 VAR)
      (20 VariableSy i 20 1 1 0 0)
      (21 VariableSy r 21 1 1 0 0)
      (22 ProcedureSy TestAndSwap 44 0 
         (23 24 25)
         (26)
      0 0)
      (23 FormalSy A 34 1 12 0 9 0 1 VAR)
      (24 FormalSy x 35 1 1 0 9 0 2 VAL)
      (25 FormalSy y 36 1 1 0 9 0 3 VAL)
      (26 VariableSy t 37 1 2 0 0)
      (27 ProcedureSy Sort 60 0 
         (28 29 30)
         (31)
      0 0)
      (28 FormalSy i 47 1 1 0 9 0 1 VAL)
      (29 FormalSy n 48 1 1 0 9 0 2 VAL)
      (30 FormalSy A 49 1 12 0 9 0 3 VAR)
      (31 VariableSy j 50 1 1 0 0)
      (32 VariableSy a 62 0 12 0 0)
      (33 VariableSy i 63 0 1 0 0)
   )
   (PROGRAM P 68 
      (DECL 64 
         (ARRAYDECL T REAL 3 
            (INTLIT 11 3 1)
         12)
         (DECL 64 
            (PROCDECL Create 15 
               (DECL 7 
                  (FORMALDECL max INTEGER VAL 6 14)
                  (DECL 7 
                     (FORMALDECL A T VAR 7 15)
                     (DECLNULL 7)
                  )
               )
               (DECL 9 
                  (VARDECL i INTEGER 8 16)
                  (DECLNULL 9)
               )
               (STAT 15 
                  (ASSIGN 10 
                     (VARREF i 10 
                        (DESNULL 10)
                     16 1)
                     (INTLIT 1 10 1)
                  )
                  (STAT 15 
                     (WHILE 14 
                        (BINARY "<=" 11 
                           (VARREF i 11 
                              (DESNULL 11)
                           16 1)
                           (VARREF max 11 
                              (DESNULL 11)
                           14 1)
                        5)
                        (STAT 14 
                           (ASSIGN 12 
                              (VARREF A 12 
                                 (INDEX 12 
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                    (DESNULL 12)
                                 12)
                              15 2)
                              (BINARY "+" 12 
                                 (UNARY "FLOAT" 12 
                                    (BINARY "-" 12 
                                       (VARREF max 12 
                                          (DESNULL 12)
                                       14 1)
                                       (VARREF i 12 
                                          (DESNULL 12)
                                       16 1)
                                    1)
                                 2)
                                 (REALLIT 0.5 12 2)
                              2)
                           )
                           (STAT 14 
                              (ASSIGN 13 
                                 (VARREF i 13 
                                    (DESNULL 13)
                                 16 1)
                                 (BINARY "+" 13 
                                    (VARREF i 13 
                                       (DESNULL 13)
                                    16 1)
                                    (INTLIT 1 13 1)
                                 1)
                              )
                              (STATNULL 14)
                           )
                        )
                     )
                     (STATNULL 15)
                  )
               )
            13)
            (DECL 64 
               (PROCDECL IsSorted 30 
                  (DECL 19 
                     (FORMALDECL max INTEGER VAL 18 18)
                     (DECL 19 
                        (FORMALDECL A T VAR 19 19)
                        (DECLNULL 19)
                     )
                  )
                  (DECL 22 
                     (VARDECL i INTEGER 20 20)
                     (DECL 22 
                        (VARDECL r INTEGER 21 21)
                        (DECLNULL 22)
                     )
                  )
                  (STAT 30 
                     (ASSIGN 23 
                        (VARREF r 23 
                           (DESNULL 23)
                        21 1)
                        (INTLIT 0 23 1)
                     )
                     (STAT 30 
                        (ASSIGN 24 
                           (VARREF i 24 
                              (DESNULL 24)
                           20 1)
                           (INTLIT 1 24 1)
                        )
                        (STAT 30 
                           (WHILE 28 
                              (BINARY "<" 25 
                                 (VARREF i 25 
                                    (DESNULL 25)
                                 20 1)
                                 (VARREF max 25 
                                    (DESNULL 25)
                                 18 1)
                              5)
                              (STAT 28 
                                 (IF1 26 
                                    (BINARY ">" 26 
                                       (VARREF A 26 
                                          (INDEX 26 
                                             (VARREF i 26 
                                                (DESNULL 26)
                                             20 1)
                                             (DESNULL 26)
                                          12)
                                       19 2)
                                       (VARREF A 26 
                                          (INDEX 26 
                                             (BINARY "+" 26 
                                                (VARREF i 26 
                                                   (DESNULL 26)
                                                20 1)
                                                (INTLIT 1 26 1)
                                             1)
                                             (DESNULL 26)
                                          12)
                                       19 2)
                                    5)
                                    (STAT 26 
                                       (ASSIGN 26 
                                          (VARREF r 26 
                                             (DESNULL 26)
                                          21 1)
                                          (INTLIT 1 26 1)
                                       )
                                       (STATNULL 26)
                                    )
                                 )
                                 (STAT 28 
                                    (ASSIGN 27 
                                       (VARREF i 27 
                                          (DESNULL 27)
                                       20 1)
                                       (BINARY "+" 27 
                                          (VARREF i 27 
                                             (DESNULL 27)
                                          20 1)
                                          (INTLIT 1 27 1)
                                       1)
                                    )
                                    (STATNULL 28)
                                 )
                              )
                           )
                           (STAT 30 
                              (WRITE 29 
                                 (VARREF r 29 
                                    (DESNULL 29)
                                 21 1)
                              )
                              (STAT 30 
                                 (WRITELN 29)
                                 (STATNULL 30)
                              )
                           )
                        )
                     )
                  )
               17)
               (DECL 64 
                  (PROCDECL TestAndSwap 44 
                     (DECL 36 
                        (FORMALDECL A T VAR 34 23)
                        (DECL 36 
                           (FORMALDECL x INTEGER VAL 35 24)
                           (DECL 36 
                              (FORMALDECL y INTEGER VAL 36 25)
                              (DECLNULL 36)
                           )
                        )
                     )
                     (DECL 38 
                        (VARDECL t REAL 37 26)
                        (DECLNULL 38)
                     )
                     (STAT 44 
                        (IF1 43 
                           (BINARY "<" 39 
                              (VARREF A 39 
                                 (INDEX 39 
                                    (VARREF x 39 
                                       (DESNULL 39)
                                    24 1)
                                    (DESNULL 39)
                                 12)
                              23 2)
                              (VARREF A 39 
                                 (INDEX 39 
                                    (VARREF y 39 
                                       (DESNULL 39)
                                    25 1)
                                    (DESNULL 39)
                                 12)
                              23 2)
                           5)
                           (STAT 43 
                              (ASSIGN 40 
                                 (VARREF t 40 
                                    (DESNULL 40)
                                 26 2)
                                 (VARREF A 40 
                                    (INDEX 40 
                                       (VARREF x 40 
                                          (DESNULL 40)
                                       24 1)
                                       (DESNULL 40)
                                    12)
                                 23 2)
                              )
                              (STAT 43 
                                 (ASSIGN 41 
                                    (VARREF A 41 
                                       (INDEX 41 
                                          (VARREF x 41 
                                             (DESNULL 41)
                                          24 1)
                                          (DESNULL 41)
                                       12)
                                    23 2)
                                    (VARREF A 41 
                                       (INDEX 41 
                                          (VARREF y 41 
                                             (DESNULL 41)
                                          25 1)
                                          (DESNULL 41)
                                       12)
                                    23 2)
                                 )
                                 (STAT 43 
                                    (ASSIGN 42 
                                       (VARREF A 42 
                                          (INDEX 42 
                                             (VARREF y 42 
                                                (DESNULL 42)
                                             25 1)
                                             (DESNULL 42)
                                          12)
                                       23 2)
                                       (VARREF t 42 
                                          (DESNULL 42)
                                       26 2)
                                    )
                                    (STATNULL 43)
                                 )
                              )
                           )
                        )
                        (STATNULL 44)
                     )
                  22)
                  (DECL 64 
                     (PROCDECL Sort 60 
                        (DECL 49 
                           (FORMALDECL i INTEGER VAL 47 28)
                           (DECL 49 
                              (FORMALDECL n INTEGER VAL 48 29)
                              (DECL 49 
                                 (FORMALDECL A T VAR 49 30)
                                 (DECLNULL 49)
                              )
                           )
                        )
                        (DECL 51 
                           (VARDECL j INTEGER 50 31)
                           (DECLNULL 51)
                        )
                        (STAT 60 
                           (WHILE 59 
                              (BINARY "<=" 52 
                                 (VARREF i 52 
                                    (DESNULL 52)
                                 28 1)
                                 (BINARY "-" 52 
                                    (VARREF n 52 
                                       (DESNULL 52)
                                    29 1)
                                    (INTLIT 1 52 1)
                                 1)
                              5)
                              (STAT 59 
                                 (ASSIGN 53 
                                    (VARREF j 53 
                                       (DESNULL 53)
                                    31 1)
                                    (VARREF n 53 
                                       (DESNULL 53)
                                    29 1)
                                 )
                                 (STAT 59 
                                    (WHILE 57 
                                       (BINARY ">=" 54 
                                          (VARREF j 54 
                                             (DESNULL 54)
                                          31 1)
                                          (BINARY "+" 54 
                                             (VARREF i 54 
                                                (DESNULL 54)
                                             28 1)
                                             (INTLIT 1 54 1)
                                          1)
                                       5)
                                       (STAT 57 
                                          (PROCCALL 55 
                                             (VARREF TestAndSwap 55 
                                                (DESNULL 55)
                                             22 8)
                                             (ACTUAL 55 
                                                (VARREF A 55 
                                                   (DESNULL 55)
                                                30 12)
                                                (ACTUAL 55 
                                                   (VARREF j 55 
                                                      (DESNULL 55)
                                                   31 1)
                                                   (ACTUAL 55 
                                                      (BINARY "-" 55 
                                                         (VARREF j 55 
                                                            (DESNULL 55)
                                                         31 1)
                                                         (INTLIT 1 55 1)
                                                      1)
                                                      (ACTUALNULL 55)
                                                   25)
                                                24)
                                             23)
                                          22)
                                          (STAT 57 
                                             (ASSIGN 56 
                                                (VARREF j 56 
                                                   (DESNULL 56)
                                                31 1)
                                                (BINARY "-" 56 
                                                   (VARREF j 56 
                                                      (DESNULL 56)
                                                   31 1)
                                                   (INTLIT 1 56 1)
                                                1)
                                             )
                                             (STATNULL 57)
                                          )
                                       )
                                    )
                                    (STAT 59 
                                       (ASSIGN 58 
                                          (VARREF i 58 
                                             (DESNULL 58)
                                          28 1)
                                          (BINARY "+" 58 
                                             (VARREF i 58 
                                                (DESNULL 58)
                                             28 1)
                                             (INTLIT 1 58 1)
                                          1)
                                       )
                                       (STATNULL 59)
                                    )
                                 )
                              )
                           )
                           (STATNULL 60)
                        )
                     27)
                     (DECL 64 
                        (VARDECL a T 62 32)
                        (DECL 64 
                           (VARDECL i INTEGER 63 33)
                           (DECLNULL 64)
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 68 
         (PROCCALL 65 
            (VARREF Create 65 
               (DESNULL 65)
            13 8)
            (ACTUAL 65 
               (INTLIT 10 65 1)
               (ACTUAL 65 
                  (VARREF a 65 
                     (DESNULL 65)
                  32 12)
                  (ACTUALNULL 65)
               15)
            14)
         13)
         (STAT 68 
            (PROCCALL 66 
               (VARREF Sort 66 
                  (DESNULL 66)
               27 8)
               (ACTUAL 66 
                  (INTLIT 1 66 1)
                  (ACTUAL 66 
                     (INTLIT 10 66 1)
                     (ACTUAL 66 
                        (VARREF a 66 
                           (DESNULL 66)
                        32 12)
                        (ACTUALNULL 66)
                     30)
                  29)
               28)
            27)
            (STAT 68 
               (PROCCALL 67 
                  (VARREF IsSorted 67 
                     (DESNULL 67)
                  17 8)
                  (ACTUAL 67 
                     (INTLIT 10 67 1)
                     (ACTUAL 67 
                        (VARREF a 67 
                           (DESNULL 67)
                        32 12)
                        (ACTUALNULL 67)
                     19)
                  18)
               17)
               (STATNULL 68)
            )
         )
      )
   11)
)

PROGRAMS/realQuickSort.luc
(
   (
      (11 ProcedureSy $MAIN 124 0 
         ()
         (22 34 47 48)
      0 0)
      (12 TypeSy T 3 0 ArrayType 201 2 0)
      (13 ProcedureSy Create 24 0 
         (14 15)
         (16)
      0 0)
      (14 FormalSy A 6 1 12 0 9 0 1 VAR)
      (15 FormalSy max 7 1 1 0 9 0 2 VAL)
      (16 VariableSy i 8 1 1 0 0)
      (17 ProcedureSy IsSorted 39 0 
         (18 19)
         (20 21)
      0 0)
      (18 FormalSy max 27 1 1 0 9 0 1 VAL)
      (19 FormalSy A 28 1 12 0 9 0 2 VAR)
      (20 VariableSy i 29 1 1 0 0)
      (21 VariableSy r 30 1 1 0 0)
      (22 VariableSy PivotIndex 41 0 1 0 0)
      (23 ProcedureSy FindPivot 63 0 
         (24 25 26)
         (27 28)
      0 0)
      (24 FormalSy A 44 1 12 0 9 0 1 VAR)
      (25 FormalSy i 45 1 1 0 9 0 2 VAL)
      (26 FormalSy j 46 1 1 0 9 0 3 VAL)
      (27 VariableSy first 47 1 2 0 0)
      (28 VariableSy k 48 1 1 0 0)
      (29 ProcedureSy Swap 74 0 
         (30 31 32)
         (33)
      0 0)
      (30 FormalSy A 66 1 12 0 9 0 1 VAR)
      (31 FormalSy x 67 1 1 0 9 0 2 VAL)
      (32 FormalSy y 68 1 1 0 9 0 3 VAL)
      (33 VariableSy t 69 1 2 0 0)
      (34 VariableSy PartElem 77 0 1 0 0)
      (35 ProcedureSy Partition 100 0 
         (36 37 38 39)
         (40 41)
      0 0)
      (36 FormalSy A 79 1 12 0 9 0 1 VAR)
      (37 FormalSy i 80 1 1 0 9 0 2 VAL)
      (38 FormalSy j 81 1 1 0 9 0 3 VAL)
      (39 FormalSy pivot 82 1 2 0 9 0 4 VAL)
      (40 VariableSy l 83 1 1 0 0)
      (41 VariableSy r 84 1 1 0 0)
      (42 ProcedureSy Sort 116 0 
         (43 44 45)
         (46)
      0 0)
      (43 FormalSy A 104 1 12 0 9 0 1 VAR)
      (44 FormalSy i 105 1 1 0 9 0 2 VAL)
      (45 FormalSy j 106 1 1 0 9 0 3 VAL)
      (46 VariableSy pivot 107 1 2 0 0)
      (47 VariableSy a 118 0 12 0 0)
      (48 VariableSy i 119 0 1 0 0)
   )
   (PROGRAM P 124 
      (DECL 120 
         (ARRAYDECL T REAL 3 
            (INTLIT 201 3 1)
         12)
         (DECL 120 
            (PROCDECL Create 24 
               (DECL 7 
                  (FORMALDECL A T VAR 6 14)
                  (DECL 7 
                     (FORMALDECL max INTEGER VAL 7 15)
                     (DECLNULL 7)
                  )
               )
               (DECL 9 
                  (VARDECL i INTEGER 8 16)
                  (DECLNULL 9)
               )
               (STAT 24 
                  (ASSIGN 10 
                     (VARREF i 10 
                        (DESNULL 10)
                     16 1)
                     (INTLIT 1 10 1)
                  )
                  (STAT 24 
                     (WHILE 13 
                        (BINARY "<=" 11 
                           (VARREF i 11 
                              (DESNULL 11)
                           16 1)
                           (VARREF max 11 
                              (DESNULL 11)
                           15 1)
                        5)
                        (STAT 13 
                           (ASSIGN 12 
                              (VARREF A 12 
                                 (INDEX 12 
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                    (DESNULL 12)
                                 12)
                              14 2)
                              (UNARY "FLOAT" 12 
                                 (BINARY "-" 12 
                                    (VARREF max 12 
                                       (DESNULL 12)
                                    15 1)
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                 1)
                              2)
                           )
                           (STAT 13 
                              (ASSIGN 12 
                                 (VARREF i 12 
                                    (DESNULL 12)
                                 16 1)
                                 (BINARY "+" 12 
                                    (VARREF i 12 
                                       (DESNULL 12)
                                    16 1)
                                    (INTLIT 1 12 1)
                                 1)
                              )
                              (STATNULL 13)
                           )
                        )
                     )
                     (STAT 24 
                        (ASSIGN 15 
                           (VARREF i 15 
                              (DESNULL 15)
                           16 1)
                           (INTLIT 1 15 1)
                        )
                        (STAT 24 
                           (WHILE 18 
                              (BINARY "<=" 16 
                                 (VARREF i 16 
                                    (DESNULL 16)
                                 16 1)
                                 (VARREF max 16 
                                    (DESNULL 16)
                                 15 1)
                              5)
                              (STAT 18 
                                 (ASSIGN 17 
                                    (VARREF A 17 
                                       (INDEX 17 
                                          (VARREF i 17 
                                             (DESNULL 17)
                                          16 1)
                                          (DESNULL 17)
                                       12)
                                    14 2)
                                    (UNARY "FLOAT" 17 
                                       (VARREF i 17 
                                          (DESNULL 17)
                                       16 1)
                                    2)
                                 )
                                 (STAT 18 
                                    (ASSIGN 17 
                                       (VARREF i 17 
                                          (DESNULL 17)
                                       16 1)
                                       (BINARY "+" 17 
                                          (VARREF i 17 
                                             (DESNULL 17)
                                          16 1)
                                          (INTLIT 2 17 1)
                                       1)
                                    )
                                    (STATNULL 18)
                                 )
                              )
                           )
                           (STAT 24 
                              (ASSIGN 20 
                                 (VARREF i 20 
                                    (DESNULL 20)
                                 16 1)
                                 (INTLIT 1 20 1)
                              )
                              (STAT 24 
                                 (WHILE 23 
                                    (BINARY "<=" 21 
                                       (VARREF i 21 
                                          (DESNULL 21)
                                       16 1)
                                       (VARREF max 21 
                                          (DESNULL 21)
                                       15 1)
                                    5)
                                    (STAT 23 
                                       (ASSIGN 22 
                                          (VARREF A 22 
                                             (INDEX 22 
                                                (VARREF i 22 
                                                   (DESNULL 22)
                                                16 1)
                                                (DESNULL 22)
                                             12)
                                          14 2)
                                          (UNARY "FLOAT" 22 
                                             (BINARY "*" 22 
                                                (BINARY "-" 22 
                                                   (VARREF max 22 
                                                      (DESNULL 22)
                                                   15 1)
                                                   (VARREF i 22 
                                                      (DESNULL 22)
                                                   16 1)
                                                1)
                                                (INTLIT 3 22 1)
                                             1)
                                          2)
                                       )
                                       (STAT 23 
                                          (ASSIGN 22 
                                             (VARREF i 22 
                                                (DESNULL 22)
                                             16 1)
                                             (BINARY "+" 22 
                                                (VARREF i 22 
                                                   (DESNULL 22)
                                                16 1)
                                                (INTLIT 4 22 1)
                                             1)
                                          )
                                          (STATNULL 23)
                                       )
                                    )
                                 )
                                 (STATNULL 24)
                              )
                           )
                        )
                     )
                  )
               )
            13)
            (DECL 120 
               (PROCDECL IsSorted 39 
                  (DECL 28 
                     (FORMALDECL max INTEGER VAL 27 18)
                     (DECL 28 
                        (FORMALDECL A T VAR 28 19)
                        (DECLNULL 28)
                     )
                  )
                  (DECL 31 
                     (VARDECL i INTEGER 29 20)
                     (DECL 31 
                        (VARDECL r INTEGER 30 21)
                        (DECLNULL 31)
                     )
                  )
                  (STAT 39 
                     (ASSIGN 32 
                        (VARREF r 32 
                           (DESNULL 32)
                        21 1)
                        (INTLIT 0 32 1)
                     )
                     (STAT 39 
                        (ASSIGN 33 
                           (VARREF i 33 
                              (DESNULL 33)
                           20 1)
                           (INTLIT 1 33 1)
                        )
                        (STAT 39 
                           (WHILE 37 
                              (BINARY "<" 34 
                                 (VARREF i 34 
                                    (DESNULL 34)
                                 20 1)
                                 (VARREF max 34 
                                    (DESNULL 34)
                                 18 1)
                              5)
                              (STAT 37 
                                 (IF1 35 
                                    (BINARY ">" 35 
                                       (VARREF A 35 
                                          (INDEX 35 
                                             (VARREF i 35 
                                                (DESNULL 35)
                                             20 1)
                                             (DESNULL 35)
                                          12)
                                       19 2)
                                       (VARREF A 35 
                                          (INDEX 35 
                                             (BINARY "+" 35 
                                                (VARREF i 35 
                                                   (DESNULL 35)
                                                20 1)
                                                (INTLIT 1 35 1)
                                             1)
                                             (DESNULL 35)
                                          12)
                                       19 2)
                                    5)
                                    (STAT 35 
                                       (ASSIGN 35 
                                          (VARREF r 35 
                                             (DESNULL 35)
                                          21 1)
                                          (INTLIT 1 35 1)
                                       )
                                       (STATNULL 35)
                                    )
                                 )
                                 (STAT 37 
                                    (ASSIGN 36 
                                       (VARREF i 36 
                                          (DESNULL 36)
                                       20 1)
                                       (BINARY "+" 36 
                                          (VARREF i 36 
                                             (DESNULL 36)
                                          20 1)
                                          (INTLIT 1 36 1)
                                       1)
                                    )
                                    (STATNULL 37)
                                 )
                              )
                           )
                           (STAT 39 
                              (WRITE 38 
                                 (VARREF r 38 
                                    (DESNULL 38)
                                 21 1)
                              )
                              (STAT 39 
                                 (WRITELN 38)
                                 (STATNULL 39)
                              )
                           )
                        )
                     )
                  )
               17)
               (DECL 120 
                  (VARDECL PivotIndex INTEGER 41 22)
                  (DECL 120 
                     (PROCDECL FindPivot 63 
                        (DECL 46 
                           (FORMALDECL A T VAR 44 24)
                           (DECL 46 
                              (FORMALDECL i INTEGER VAL 45 25)
                              (DECL 46 
                                 (FORMALDECL j INTEGER VAL 46 26)
                                 (DECLNULL 46)
                              )
                           )
                        )
                        (DECL 49 
                           (VARDECL first REAL 47 27)
                           (DECL 49 
                              (VARDECL k INTEGER 48 28)
                              (DECLNULL 49)
                           )
                        )
                        (STAT 63 
                           (ASSIGN 50 
                              (VARREF first 50 
                                 (DESNULL 50)
                              27 2)
                              (VARREF A 50 
                                 (INDEX 50 
                                    (VARREF i 50 
                                       (DESNULL 50)
                                    25 1)
                                    (DESNULL 50)
                                 12)
                              24 2)
                           )
                           (STAT 63 
                              (ASSIGN 51 
                                 (VARREF k 51 
                                    (DESNULL 51)
                                 28 1)
                                 (BINARY "+" 51 
                                    (VARREF i 51 
                                       (DESNULL 51)
                                    25 1)
                                    (INTLIT 1 51 1)
                                 1)
                              )
                              (STAT 63 
                                 (ASSIGN 52 
                                    (VARREF PivotIndex 52 
                                       (DESNULL 52)
                                    22 1)
                                    (INTLIT 0 52 1)
                                 )
                                 (STAT 63 
                                    (WHILE 62 
                                       (BINARY "<=" 53 
                                          (VARREF k 53 
                                             (DESNULL 53)
                                          28 1)
                                          (VARREF j 53 
                                             (DESNULL 53)
                                          26 1)
                                       5)
                                       (STAT 62 
                                          (IF2 60 
                                             (BINARY ">" 54 
                                                (VARREF A 54 
                                                   (INDEX 54 
                                                      (VARREF k 54 
                                                         (DESNULL 54)
                                                      28 1)
                                                      (DESNULL 54)
                                                   12)
                                                24 2)
                                                (VARREF first 54 
                                                   (DESNULL 54)
                                                27 2)
                                             5)
                                             (STAT 56 
                                                (ASSIGN 55 
                                                   (VARREF PivotIndex 55 
                                                      (DESNULL 55)
                                                   22 1)
                                                   (VARREF k 55 
                                                      (DESNULL 55)
                                                   28 1)
                                                )
                                                (STAT 56 
                                                   (ASSIGN 55 
                                                      (VARREF k 55 
                                                         (DESNULL 55)
                                                      28 1)
                                                      (BINARY "+" 55 
                                                         (VARREF j 55 
                                                            (DESNULL 55)
                                                         26 1)
                                                         (INTLIT 1 55 1)
                                                      1)
                                                   )
                                                   (STATNULL 56)
                                                )
                                             )
                                             (STAT 60 
                                                (IF1 59 
                                                   (BINARY "<" 57 
                                                      (VARREF A 57 
                                                         (INDEX 57 
                                                            (VARREF k 57 
                                                               (DESNULL 57)
                                                            28 1)
                                                            (DESNULL 57)
                                                         12)
                                                      24 2)
                                                      (VARREF first 57 
                                                         (DESNULL 57)
                                                      27 2)
                                                   5)
                                                   (STAT 59 
                                                      (ASSIGN 58 
                                                         (VARREF PivotIndex 58 
                                                            (DESNULL 58)
                                                         22 1)
                                                         (VARREF i 58 
                                                            (DESNULL 58)
                                                         25 1)
                                                      )
                                                      (STAT 59 
                                                         (ASSIGN 58 
                                                            (VARREF k 58 
                                                               (DESNULL 58)
                                                            28 1)
                                                            (BINARY "+" 58 
                                                               (VARREF j 58 
                                                                  (DESNULL 58)
                                                               26 1)
                                                               (INTLIT 1 58 1)
                                                            1)
                                                         )
                                                         (STATNULL 59)
                                                      )
                                                   )
                                                )
                                                (STATNULL 60)
                                             )
                                          )
                                          (STAT 62 
                                             (ASSIGN 61 
                                                (VARREF k 61 
                                                   (DESNULL 61)
                                                28 1)
                                                (BINARY "+" 61 
                                                   (VARREF k 61 
                                                      (DESNULL 61)
                                                   28 1)
                                                   (INTLIT 1 61 1)
                                                1)
                                             )
                                             (STATNULL 62)
                                          )
                                       )
                                    )
                                    (STATNULL 63)
                                 )
                              )
                           )
                        )
                     23)
                     (DECL 120 
                        (PROCDECL Swap 74 
                           (DECL 68 
                              (FORMALDECL A T VAR 66 30)
                              (DECL 68 
                                 (FORMALDECL x INTEGER VAL 67 31)
                                 (DECL 68 
                                    (FORMALDECL y INTEGER VAL 68 32)
                                    (DECLNULL 68)
                                 )
                              )
                           )
                           (DECL 70 
                              (VARDECL t REAL 69 33)
                              (DECLNULL 70)
                           )
                           (STAT 74 
                              (ASSIGN 71 
                                 (VARREF t 71 
                                    (DESNULL 71)
                                 33 2)
                                 (VARREF A 71 
                                    (INDEX 71 
                                       (VARREF x 71 
                                          (DESNULL 71)
                                       31 1)
                                       (DESNULL 71)
                                    12)
                                 30 2)
                              )
                              (STAT 74 
                                 (ASSIGN 72 
                                    (VARREF A 72 
                                       (INDEX 72 
                                          (VARREF x 72 
                                             (DESNULL 72)
                                          31 1)
                                          (DESNULL 72)
                                       12)
                                    30 2)
                                    (VARREF A 72 
                                       (INDEX 72 
                                          (VARREF y 72 
                                             (DESNULL 72)
                                          32 1)
                                          (DESNULL 72)
                                       12)
                                    30 2)
                                 )
                                 (STAT 74 
                                    (ASSIGN 73 
                                       (VARREF A 73 
                                          (INDEX 73 
                                             (VARREF y 73 
                                                (DESNULL 73)
                                             32 1)
                                             (DESNULL 73)
                                          12)
                                       30 2)
                                       (VARREF t 73 
                                          (DESNULL 73)
                                       33 2)
                                    )
                                    (STATNULL 74)
                                 )
                              )
                           )
                        29)
                        (DECL 120 
                           (VARDECL PartElem INTEGER 77 34)
                           (DECL 120 
                              (PROCDECL Partition 100 
                                 (DECL 82 
                                    (FORMALDECL A T VAR 79 36)
                                    (DECL 82 
                                       (FORMALDECL i INTEGER VAL 80 37)
                                       (DECL 82 
                                          (FORMALDECL j INTEGER VAL 81 38)
                                          (DECL 82 
                                             (FORMALDECL pivot REAL VAL 82 39)
                                             (DECLNULL 82)
                                          )
                                       )
                                    )
                                 )
                                 (DECL 85 
                                    (VARDECL l INTEGER 83 40)
                                    (DECL 85 
                                       (VARDECL r INTEGER 84 41)
                                       (DECLNULL 85)
                                    )
                                 )
                                 (STAT 100 
                                    (ASSIGN 86 
                                       (VARREF l 86 
                                          (DESNULL 86)
                                       40 1)
                                       (VARREF i 86 
                                          (DESNULL 86)
                                       37 1)
                                    )
                                    (STAT 100 
                                       (ASSIGN 87 
                                          (VARREF r 87 
                                             (DESNULL 87)
                                          41 1)
                                          (VARREF j 87 
                                             (DESNULL 87)
                                          38 1)
                                       )
                                       (STAT 100 
                                          (PROCCALL 89 
                                             (VARREF Swap 89 
                                                (DESNULL 89)
                                             29 8)
                                             (ACTUAL 89 
                                                (VARREF A 89 
                                                   (DESNULL 89)
                                                36 12)
                                                (ACTUAL 89 
                                                   (VARREF l 89 
                                                      (DESNULL 89)
                                                   40 1)
                                                   (ACTUAL 89 
                                                      (VARREF r 89 
                                                         (DESNULL 89)
                                                      41 1)
                                                      (ACTUALNULL 89)
                                                   32)
                                                31)
                                             30)
                                          29)
                                          (STAT 100 
                                             (WHILE 90 
                                                (BINARY "<" 90 
                                                   (VARREF A 90 
                                                      (INDEX 90 
                                                         (VARREF l 90 
                                                            (DESNULL 90)
                                                         40 1)
                                                         (DESNULL 90)
                                                      12)
                                                   36 2)
                                                   (VARREF pivot 90 
                                                      (DESNULL 90)
                                                   39 2)
                                                5)
                                                (STAT 90 
                                                   (ASSIGN 90 
                                                      (VARREF l 90 
                                                         (DESNULL 90)
                                                      40 1)
                                                      (BINARY "+" 90 
                                                         (VARREF l 90 
                                                            (DESNULL 90)
                                                         40 1)
                                                         (INTLIT 1 90 1)
                                                      1)
                                                   )
                                                   (STATNULL 90)
                                                )
                                             )
                                             (STAT 100 
                                                (WHILE 91 
                                                   (BINARY ">=" 91 
                                                      (VARREF A 91 
                                                         (INDEX 91 
                                                            (VARREF r 91 
                                                               (DESNULL 91)
                                                            41 1)
                                                            (DESNULL 91)
                                                         12)
                                                      36 2)
                                                      (VARREF pivot 91 
                                                         (DESNULL 91)
                                                      39 2)
                                                   5)
                                                   (STAT 91 
                                                      (ASSIGN 91 
                                                         (VARREF r 91 
                                                            (DESNULL 91)
                                                         41 1)
                                                         (BINARY "-" 91 
                                                            (VARREF r 91 
                                                               (DESNULL 91)
                                                            41 1)
                                                            (INTLIT 1 91 1)
                                                         1)
                                                      )
                                                      (STATNULL 91)
                                                   )
                                                )
                                                (STAT 100 
                                                   (WHILE 97 
                                                      (BINARY "<=" 93 
                                                         (VARREF l 93 
                                                            (DESNULL 93)
                                                         40 1)
                                                         (VARREF r 93 
                                                            (DESNULL 93)
                                                         41 1)
                                                      5)
                                                      (STAT 97 
                                                         (PROCCALL 94 
                                                            (VARREF Swap 94 
                                                               (DESNULL 94)
                                                            29 8)
                                                            (ACTUAL 94 
                                                               (VARREF A 94 
                                                                  (DESNULL 94)
                                                               36 12)
                                                               (ACTUAL 94 
                                                                  (VARREF l 94 
                                                                     (DESNULL 94)
                                                                  40 1)
                                                                  (ACTUAL 94 
                                                                     (VARREF r 94 
                                                                        (DESNULL 94)
                                                                     41 1)
                                                                     (ACTUALNULL 94)
                                                                  32)
                                                               31)
                                                            30)
                                                         29)
                                                         (STAT 97 
                                                            (WHILE 95 
                                                               (BINARY "<" 95 
                                                                  (VARREF A 95 
                                                                     (INDEX 95 
                                                                        (VARREF l 95 
                                                                           (DESNULL 95)
                                                                        40 1)
                                                                        (DESNULL 95)
                                                                     12)
                                                                  36 2)
                                                                  (VARREF pivot 95 
                                                                     (DESNULL 95)
                                                                  39 2)
                                                               5)
                                                               (STAT 95 
                                                                  (ASSIGN 95 
                                                                     (VARREF l 95 
                                                                        (DESNULL 95)
                                                                     40 1)
                                                                     (BINARY "+" 95 
                                                                        (VARREF l 95 
                                                                           (DESNULL 95)
                                                                        40 1)
                                                                        (INTLIT 1 95 1)
                                                                     1)
                                                                  )
                                                                  (STATNULL 95)
                                                               )
                                                            )
                                                            (STAT 97 
                                                               (WHILE 96 
                                                                  (BINARY ">=" 96 
                                                                     (VARREF A 96 
                                                                        (INDEX 96 
                                                                           (VARREF r 96 
                                                                              (DESNULL 96)
                                                                           41 1)
                                                                           (DESNULL 96)
                                                                        12)
                                                                     36 2)
                                                                     (VARREF pivot 96 
                                                                        (DESNULL 96)
                                                                     39 2)
                                                                  5)
                                                                  (STAT 96 
                                                                     (ASSIGN 96 
                                                                        (VARREF r 96 
                                                                           (DESNULL 96)
                                                                        41 1)
                                                                        (BINARY "-" 96 
                                                                           (VARREF r 96 
                                                                              (DESNULL 96)
                                                                           41 1)
                                                                           (INTLIT 1 96 1)
                                                                        1)
                                                                     )
                                                                     (STATNULL 96)
                                                                  )
                                                               )
                                                               (STATNULL 97)
                                                            )
                                                         )
                                                      )
                                                   )
                                                   (STAT 100 
                                                      (ASSIGN 99 
                                                         (VARREF PartElem 99 
                                                            (DESNULL 99)
                                                         34 1)
                                                         (VARREF l 99 
                                                            (DESNULL 99)
                                                         40 1)
                                                      )
                                                      (STATNULL 100)
                                                   )
                                                )
                                             )
                                          )
                                       )
                                    )
                                 )
                              35)
                              (DECL 120 
                                 (PROCDECL Sort 116 
                                    (DECL 106 
                                       (FORMALDECL A T VAR 104 43)
                                       (DECL 106 
                                          (FORMALDECL i INTEGER VAL 105 44)
                                          (DECL 106 
                                             (FORMALDECL j INTEGER VAL 106 45)
                                             (DECLNULL 106)
                                          )
                                       )
                                    )
                                    (DECL 108 
                                       (VARDECL pivot REAL 107 46)
                                       (DECLNULL 108)
                                    )
                                    (STAT 116 
                                       (PROCCALL 109 
                                          (VARREF FindPivot 109 
                                             (DESNULL 109)
                                          23 8)
                                          (ACTUAL 109 
                                             (VARREF A 109 
                                                (DESNULL 109)
                                             43 12)
                                             (ACTUAL 109 
                                                (VARREF i 109 
                                                   (DESNULL 109)
                                                44 1)
                                                (ACTUAL 109 
                                                   (VARREF j 109 
                                                      (DESNULL 109)
                                                   45 1)
                                                   (ACTUALNULL 109)
                                                26)
                                             25)
                                          24)
                                       23)
                                       (STAT 116 
                                          (IF1 115 
                                             (BINARY ">" 110 
                                                (VARREF PivotIndex 110 
                                                   (DESNULL 110)
                                                22 1)
                                                (INTLIT 0 110 1)
                                             5)
                                             (STAT 115 
                                                (ASSIGN 111 
                                                   (VARREF pivot 111 
                                                      (DESNULL 111)
                                                   46 2)
                                                   (VARREF A 111 
                                                      (INDEX 111 
                                                         (VARREF PivotIndex 111 
                                                            (DESNULL 111)
                                                         22 1)
                                                         (DESNULL 111)
                                                      12)
                                                   43 2)
                                                )
                                                (STAT 115 
                                                   (PROCCALL 112 
                                                      (VARREF Partition 112 
                                                         (DESNULL 112)
                                                      35 8)
                                                      (ACTUAL 112 
                                                         (VARREF A 112 
                                                            (DESNULL 112)
                                                         43 12)
                                                         (ACTUAL 112 
                                                            (VARREF i 112 
                                                               (DESNULL 112)
                                                            44 1)
                                                            (ACTUAL 112 
                                                               (VARREF j 112 
                                                                  (DESNULL 112)
                                                               45 1)
                                                               (ACTUAL 112 
                                                                  (VARREF pivot 112 
                                                                     (DESNULL 112)
                                                                  46 2)
                                                                  (ACTUALNULL 112)
                                                               39)
                                                            38)
                                                         37)
                                                      36)
                                                   35)
                                                   (STAT 115 
                                                      (PROCCALL 113 
                                                         (VARREF Sort 113 
                                                            (DESNULL 113)
                                                         42 8)
                                                         (ACTUAL 113 
                                                            (VARREF A 113 
                                                               (DESNULL 113)
                                                            43 12)
                                                            (ACTUAL 113 
                                                               (VARREF i 113 
                                                                  (DESNULL 113)
                                                               44 1)
                                                               (ACTUAL 113 
                                                                  (BINARY "-" 113 
                                                                     (VARREF PartElem 113 
                                                                        (DESNULL 113)
                                                                     34 1)
                                                                     (INTLIT 1 113 1)
                                                                  1)
                                                                  (ACTUALNULL 113)
                                                               45)
                                                            44)
                                                         43)
                                                      42)
                                                      (STAT 115 
                                                         (PROCCALL 114 
                                                            (VARREF Sort 114 
                                                               (DESNULL 114)
                                                            42 8)
                                                            (ACTUAL 114 
                                                               (VARREF A 114 
                                                                  (DESNULL 114)
                                                               43 12)
                                                               (ACTUAL 114 
                                                                  (VARREF PartElem 114 
                                                                     (DESNULL 114)
                                                                  34 1)
                                                                  (ACTUAL 114 
                                                                     (VARREF j 114 
                                                                        (DESNULL 114)
                                                                     45 1)
                                                                     (ACTUALNULL 114)
                                                                  45)
                                                               44)
                                                            43)
                                                         42)
                                                         (STATNULL 115)
                                                      )
                                                   )
                                                )
                                             )
                                          )
                                          (STATNULL 116)
                                       )
                                    )
                                 42)
                                 (DECL 120 
                                    (VARDECL a T 118 47)
                                    (DECL 120 
                                       (VARDECL i INTEGER 119 48)
                                       (DECLNULL 120)
                                    )
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 124 
         (PROCCALL 121 
            (VARREF Create 121 
               (DESNULL 121)
            13 8)
            (ACTUAL 121 
               (VARREF a 121 
                  (DESNULL 121)
               47 12)
               (ACTUAL 121 
                  (INTLIT 200 121 1)
                  (ACTUALNULL 121)
               15)
            14)
         13)
         (STAT 124 
            (PROCCALL 122 
               (VARREF Sort 122 
                  (DESNULL 122)
               42 8)
               (ACTUAL 122 
                  (VARREF a 122 
                     (DESNULL 122)
                  47 12)
                  (ACTUAL 122 
                     (INTLIT 1 122 1)
                     (ACTUAL 122 
                        (INTLIT 200 122 1)
                        (ACTUALNULL 122)
                     45)
                  44)
               43)
            42)
            (STAT 124 
               (PROCCALL 123 
                  (VARREF IsSorted 123 
                     (DESNULL 123)
                  17 8)
                  (ACTUAL 123 
                     (INTLIT 200 123 1)
                     (ACTUAL 123 
                        (VARREF a 123 
                           (DESNULL 123)
                        47 12)
                        (ACTUALNULL 123)
                     19)
                  18)
               17)
               (STATNULL 124)
            )
         )
      )
   11)
)

PROGRAMS/structQuickSort.luc
(
   (
      (11 ProcedureSy $MAIN 142 0 
         ()
         (25 38 51 52)
      0 0)
      (12 TypeSy R 3 0 RecordType 
         (13 14)
      0)
      (13 FieldSy a 3 0 1 0 0 12)
      (14 FieldSy b 3 0 2 0 0 12)
      (15 TypeSy T 4 0 ArrayType 201 12 0)
      (16 ProcedureSy Create 37 0 
         (17 18)
         (19)
      0 0)
      (17 FormalSy A 7 1 15 0 9 0 1 VAL)
      (18 FormalSy max 8 1 1 0 9 0 2 VAL)
      (19 VariableSy i 9 1 1 0 0)
      (20 ProcedureSy IsSorted 52 0 
         (21 22)
         (23 24)
      0 0)
      (21 FormalSy max 40 1 1 0 9 0 1 VAL)
      (22 FormalSy A 41 1 15 0 9 0 2 VAL)
      (23 VariableSy i 42 1 1 0 0)
      (24 VariableSy r 43 1 1 0 0)
      (25 VariableSy PivotIndex 54 0 1 0 0)
      (26 ProcedureSy FindPivot 76 0 
         (27 28 29)
         (30 31)
      0 0)
      (27 FormalSy A 57 1 15 0 9 0 1 VAL)
      (28 FormalSy i 58 1 1 0 9 0 2 VAL)
      (29 FormalSy j 59 1 1 0 9 0 3 VAL)
      (30 VariableSy first 60 1 2 0 0)
      (31 VariableSy k 61 1 1 0 0)
      (32 ProcedureSy Swap 92 0 
         (33 34 35)
         (36 37)
      0 0)
      (33 FormalSy A 79 1 15 0 9 0 1 VAL)
      (34 FormalSy x 80 1 1 0 9 0 2 VAL)
      (35 FormalSy y 81 1 1 0 9 0 3 VAL)
      (36 VariableSy i 82 1 1 0 0)
      (37 VariableSy t 83 1 2 0 0)
      (38 VariableSy PartElem 95 0 1 0 0)
      (39 ProcedureSy Partition 118 0 
         (40 41 42 43)
         (44 45)
      0 0)
      (40 FormalSy A 97 1 15 0 9 0 1 VAL)
      (41 FormalSy i 98 1 1 0 9 0 2 VAL)
      (42 FormalSy j 99 1 1 0 9 0 3 VAL)
      (43 FormalSy pivot 100 1 2 0 9 0 4 VAL)
      (44 VariableSy l 101 1 1 0 0)
      (45 VariableSy r 102 1 1 0 0)
      (46 ProcedureSy Sort 134 0 
         (47 48 49)
         (50)
      0 0)
      (47 FormalSy A 122 1 15 0 9 0 1 VAL)
      (48 FormalSy i 123 1 1 0 9 0 2 VAL)
      (49 FormalSy j 124 1 1 0 9 0 3 VAL)
      (50 VariableSy pivot 125 1 2 0 0)
      (51 VariableSy a 136 0 15 0 0)
      (52 VariableSy i 137 0 1 0 0)
   )
   (PROGRAM P 142 
      (DECL 138 
         (RECORDDECL R 3 
            (DECL 3 
               (FIELDDECL a INTEGER 3 13)
               (DECL 3 
                  (FIELDDECL b REAL 3 14)
                  (DECLNULL 3)
               )
            )
         12)
         (DECL 138 
            (ARRAYDECL T R 4 
               (INTLIT 201 4 1)
            15)
            (DECL 138 
               (PROCDECL Create 37 
                  (DECL 8 
                     (FORMALDECL A T VAL 7 17)
                     (DECL 8 
                        (FORMALDECL max INTEGER VAL 8 18)
                        (DECLNULL 8)
                     )
                  )
                  (DECL 10 
                     (VARDECL i INTEGER 9 19)
                     (DECLNULL 10)
                  )
                  (STAT 37 
                     (ASSIGN 11 
                        (VARREF i 11 
                           (DESNULL 11)
                        19 1)
                        (INTLIT 1 11 1)
                     )
                     (STAT 37 
                        (WHILE 15 
                           (BINARY "<=" 12 
                              (VARREF i 12 
                                 (DESNULL 12)
                              19 1)
                              (VARREF max 12 
                                 (DESNULL 12)
                              18 1)
                           5)
                           (STAT 15 
                              (ASSIGN 13 
                                 (VARREF A 13 
                                    (INDEX 13 
                                       (VARREF i 13 
                                          (DESNULL 13)
                                       19 1)
                                       (FIELDREF a 13 
                                          (DESNULL 13)
                                       13 12)
                                    15)
                                 17 1)
                                 (VARREF i 13 
                                    (DESNULL 13)
                                 19 1)
                              )
                              (STAT 15 
                                 (ASSIGN 14 
                                    (VARREF A 14 
                                       (INDEX 14 
                                          (VARREF i 14 
                                             (DESNULL 14)
                                          19 1)
                                          (FIELDREF b 14 
                                             (DESNULL 14)
                                          14 12)
                                       15)
                                    17 2)
                                    (UNARY "FLOAT" 14 
                                       (BINARY "-" 14 
                                          (VARREF max 14 
                                             (DESNULL 14)
                                          18 1)
                                          (VARREF i 14 
                                             (DESNULL 14)
                                          19 1)
                                       1)
                                    2)
                                 )
                                 (STAT 15 
                                    (ASSIGN 14 
                                       (VARREF i 14 
                                          (DESNULL 14)
                                       19 1)
                                       (BINARY "+" 14 
                                          (VARREF i 14 
                                             (DESNULL 14)
                                          19 1)
                                          (INTLIT 1 14 1)
                                       1)
                                    )
                                    (STATNULL 15)
                                 )
                              )
                           )
                        )
                        (STAT 37 
                           (ASSIGN 17 
                              (VARREF i 17 
                                 (DESNULL 17)
                              19 1)
                              (INTLIT 1 17 1)
                           )
                           (STAT 37 
                              (WHILE 22 
                                 (BINARY "<=" 18 
                                    (VARREF i 18 
                                       (DESNULL 18)
                                    19 1)
                                    (VARREF max 18 
                                       (DESNULL 18)
                                    18 1)
                                 5)
                                 (STAT 22 
                                    (ASSIGN 19 
                                       (VARREF A 19 
                                          (INDEX 19 
                                             (VARREF i 19 
                                                (DESNULL 19)
                                             19 1)
                                             (FIELDREF b 19 
                                                (DESNULL 19)
                                             14 12)
                                          15)
                                       17 2)
                                       (UNARY "FLOAT" 19 
                                          (VARREF i 19 
                                             (DESNULL 19)
                                          19 1)
                                       2)
                                    )
                                    (STAT 22 
                                       (ASSIGN 20 
                                          (VARREF A 20 
                                             (INDEX 20 
                                                (VARREF i 20 
                                                   (DESNULL 20)
                                                19 1)
                                                (FIELDREF a 20 
                                                   (DESNULL 20)
                                                13 12)
                                             15)
                                          17 1)
                                          (VARREF i 20 
                                             (DESNULL 20)
                                          19 1)
                                       )
                                       (STAT 22 
                                          (ASSIGN 21 
                                             (VARREF i 21 
                                                (DESNULL 21)
                                             19 1)
                                             (BINARY "+" 21 
                                                (VARREF i 21 
                                                   (DESNULL 21)
                                                19 1)
                                                (INTLIT 2 21 1)
                                             1)
                                          )
                                          (STATNULL 22)
                                       )
                                    )
                                 )
                              )
                              (STAT 37 
                                 (ASSIGN 24 
                                    (VARREF i 24 
                                       (DESNULL 24)
                                    19 1)
                                    (INTLIT 1 24 1)
                                 )
                                 (STAT 37 
                                    (WHILE 29 
                                       (BINARY "<=" 25 
                                          (VARREF i 25 
                                             (DESNULL 25)
                                          19 1)
                                          (VARREF max 25 
                                             (DESNULL 25)
                                          18 1)
                                       5)
                                       (STAT 29 
                                          (ASSIGN 26 
                                             (VARREF A 26 
                                                (INDEX 26 
                                                   (VARREF i 26 
                                                      (DESNULL 26)
                                                   19 1)
                                                   (FIELDREF b 26 
                                                      (DESNULL 26)
                                                   14 12)
                                                15)
                                             17 2)
                                             (UNARY "FLOAT" 26 
                                                (BINARY "*" 26 
                                                   (BINARY "-" 26 
                                                      (VARREF max 26 
                                                         (DESNULL 26)
                                                      18 1)
                                                      (VARREF i 26 
                                                         (DESNULL 26)
                                                      19 1)
                                                   1)
                                                   (INTLIT 3 26 1)
                                                1)
                                             2)
                                          )
                                          (STAT 29 
                                             (ASSIGN 27 
                                                (VARREF A 27 
                                                   (INDEX 27 
                                                      (VARREF i 27 
                                                         (DESNULL 27)
                                                      19 1)
                                                      (FIELDREF a 27 
                                                         (DESNULL 27)
                                                      13 12)
                                                   15)
                                                17 1)
                                                (VARREF i 27 
                                                   (DESNULL 27)
                                                19 1)
                                             )
                                             (STAT 29 
                                                (ASSIGN 28 
                                                   (VARREF i 28 
                                                      (DESNULL 28)
                                                   19 1)
                                                   (BINARY "+" 28 
                                                      (VARREF i 28 
                                                         (DESNULL 28)
                                                      19 1)
                                                      (INTLIT 4 28 1)
                                                   1)
                                                )
                                                (STATNULL 29)
                                             )
                                          )
                                       )
                                    )
                                    (STAT 37 
                                       (ASSIGN 31 
                                          (VARREF i 31 
                                             (DESNULL 31)
                                          19 1)
                                          (INTLIT 1 31 1)
                                       )
                                       (STAT 37 
                                          (WHILE 36 
                                             (BINARY "<=" 32 
                                                (VARREF i 32 
                                                   (DESNULL 32)
                                                19 1)
                                                (VARREF max 32 
                                                   (DESNULL 32)
                                                18 1)
                                             5)
                                             (STAT 36 
                                                (ASSIGN 33 
                                                   (VARREF A 33 
                                                      (INDEX 33 
                                                         (VARREF i 33 
                                                            (DESNULL 33)
                                                         19 1)
                                                         (FIELDREF b 33 
                                                            (DESNULL 33)
                                                         14 12)
                                                      15)
                                                   17 2)
                                                   (BINARY "/" 33 
                                                      (BINARY "+" 33 
                                                         (REALLIT 23.0 33 2)
                                                         (VARREF A 33 
                                                            (INDEX 33 
                                                               (VARREF i 33 
                                                                  (DESNULL 33)
                                                               19 1)
                                                               (FIELDREF b 33 
                                                                  (DESNULL 33)
                                                               14 12)
                                                            15)
                                                         17 2)
                                                      2)
                                                      (BINARY "+" 33 
                                                         (REALLIT 0.5 33 2)
                                                         (BINARY "+" 33 
                                                            (REALLIT 7.0 33 2)
                                                            (UNARY "FLOAT" 33 
                                                               (BINARY "-" 33 
                                                                  (INTLIT 17 33 1)
                                                                  (VARREF i 33 
                                                                     (DESNULL 33)
                                                                  19 1)
                                                               1)
                                                            2)
                                                         2)
                                                      2)
                                                   2)
                                                )
                                                (STAT 36 
                                                   (ASSIGN 34 
                                                      (VARREF A 34 
                                                         (INDEX 34 
                                                            (VARREF i 34 
                                                               (DESNULL 34)
                                                            19 1)
                                                            (FIELDREF a 34 
                                                               (DESNULL 34)
                                                            13 12)
                                                         15)
                                                      17 1)
                                                      (VARREF i 34 
                                                         (DESNULL 34)
                                                      19 1)
                                                   )
                                                   (STAT 36 
                                                      (ASSIGN 35 
                                                         (VARREF i 35 
                                                            (DESNULL 35)
                                                         19 1)
                                                         (BINARY "+" 35 
                                                            (VARREF i 35 
                                                               (DESNULL 35)
                                                            19 1)
                                                            (INTLIT 1 35 1)
                                                         1)
                                                      )
                                                      (STATNULL 36)
                                                   )
                                                )
                                             )
                                          )
                                          (STATNULL 37)
                                       )
                                    )
                                 )
                              )
                           )
                        )
                     )
                  )
               16)
               (DECL 138 
                  (PROCDECL IsSorted 52 
                     (DECL 41 
                        (FORMALDECL max INTEGER VAL 40 21)
                        (DECL 41 
                           (FORMALDECL A T VAL 41 22)
                           (DECLNULL 41)
                        )
                     )
                     (DECL 44 
                        (VARDECL i INTEGER 42 23)
                        (DECL 44 
                           (VARDECL r INTEGER 43 24)
                           (DECLNULL 44)
                        )
                     )
                     (STAT 52 
                        (ASSIGN 45 
                           (VARREF r 45 
                              (DESNULL 45)
                           24 1)
                           (INTLIT 0 45 1)
                        )
                        (STAT 52 
                           (ASSIGN 46 
                              (VARREF i 46 
                                 (DESNULL 46)
                              23 1)
                              (INTLIT 1 46 1)
                           )
                           (STAT 52 
                              (WHILE 50 
                                 (BINARY "<" 47 
                                    (VARREF i 47 
                                       (DESNULL 47)
                                    23 1)
                                    (VARREF max 47 
                                       (DESNULL 47)
                                    21 1)
                                 5)
                                 (STAT 50 
                                    (IF1 48 
                                       (BINARY ">" 48 
                                          (VARREF A 48 
                                             (INDEX 48 
                                                (VARREF i 48 
                                                   (DESNULL 48)
                                                23 1)
                                                (FIELDREF b 48 
                                                   (DESNULL 48)
                                                14 12)
                                             15)
                                          22 2)
                                          (VARREF A 48 
                                             (INDEX 48 
                                                (BINARY "+" 48 
                                                   (VARREF i 48 
                                                      (DESNULL 48)
                                                   23 1)
                                                   (INTLIT 1 48 1)
                                                1)
                                                (FIELDREF b 48 
                                                   (DESNULL 48)
                                                14 12)
                                             15)
                                          22 2)
                                       5)
                                       (STAT 48 
                                          (ASSIGN 48 
                                             (VARREF r 48 
                                                (DESNULL 48)
                                             24 1)
                                             (INTLIT 1 48 1)
                                          )
                                          (STATNULL 48)
                                       )
                                    )
                                    (STAT 50 
                                       (ASSIGN 49 
                                          (VARREF i 49 
                                             (DESNULL 49)
                                          23 1)
                                          (BINARY "+" 49 
                                             (VARREF i 49 
                                                (DESNULL 49)
                                             23 1)
                                             (INTLIT 1 49 1)
                                          1)
                                       )
                                       (STATNULL 50)
                                    )
                                 )
                              )
                              (STAT 52 
                                 (WRITE 51 
                                    (VARREF r 51 
                                       (DESNULL 51)
                                    24 1)
                                 )
                                 (STAT 52 
                                    (WRITELN 51)
                                    (STATNULL 52)
                                 )
                              )
                           )
                        )
                     )
                  20)
                  (DECL 138 
                     (VARDECL PivotIndex INTEGER 54 25)
                     (DECL 138 
                        (PROCDECL FindPivot 76 
                           (DECL 59 
                              (FORMALDECL A T VAL 57 27)
                              (DECL 59 
                                 (FORMALDECL i INTEGER VAL 58 28)
                                 (DECL 59 
                                    (FORMALDECL j INTEGER VAL 59 29)
                                    (DECLNULL 59)
                                 )
                              )
                           )
                           (DECL 62 
                              (VARDECL first REAL 60 30)
                              (DECL 62 
                                 (VARDECL k INTEGER 61 31)
                                 (DECLNULL 62)
                              )
                           )
                           (STAT 76 
                              (ASSIGN 63 
                                 (VARREF first 63 
                                    (DESNULL 63)
                                 30 2)
                                 (VARREF A 63 
                                    (INDEX 63 
                                       (VARREF i 63 
                                          (DESNULL 63)
                                       28 1)
                                       (FIELDREF b 63 
                                          (DESNULL 63)
                                       14 12)
                                    15)
                                 27 2)
                              )
                              (STAT 76 
                                 (ASSIGN 64 
                                    (VARREF k 64 
                                       (DESNULL 64)
                                    31 1)
                                    (BINARY "+" 64 
                                       (VARREF i 64 
                                          (DESNULL 64)
                                       28 1)
                                       (INTLIT 1 64 1)
                                    1)
                                 )
                                 (STAT 76 
                                    (ASSIGN 65 
                                       (VARREF PivotIndex 65 
                                          (DESNULL 65)
                                       25 1)
                                       (INTLIT 0 65 1)
                                    )
                                    (STAT 76 
                                       (WHILE 75 
                                          (BINARY "<=" 66 
                                             (VARREF k 66 
                                                (DESNULL 66)
                                             31 1)
                                             (VARREF j 66 
                                                (DESNULL 66)
                                             29 1)
                                          5)
                                          (STAT 75 
                                             (IF2 73 
                                                (BINARY ">" 67 
                                                   (VARREF A 67 
                                                      (INDEX 67 
                                                         (VARREF k 67 
                                                            (DESNULL 67)
                                                         31 1)
                                                         (FIELDREF b 67 
                                                            (DESNULL 67)
                                                         14 12)
                                                      15)
                                                   27 2)
                                                   (VARREF first 67 
                                                      (DESNULL 67)
                                                   30 2)
                                                5)
                                                (STAT 69 
                                                   (ASSIGN 68 
                                                      (VARREF PivotIndex 68 
                                                         (DESNULL 68)
                                                      25 1)
                                                      (VARREF k 68 
                                                         (DESNULL 68)
                                                      31 1)
                                                   )
                                                   (STAT 69 
                                                      (ASSIGN 68 
                                                         (VARREF k 68 
                                                            (DESNULL 68)
                                                         31 1)
                                                         (BINARY "+" 68 
                                                            (VARREF j 68 
                                                               (DESNULL 68)
                                                            29 1)
                                                            (INTLIT 1 68 1)
                                                         1)
                                                      )
                                                      (STATNULL 69)
                                                   )
                                                )
                                                (STAT 73 
                                                   (IF1 72 
                                                      (BINARY "<" 70 
                                                         (VARREF A 70 
                                                            (INDEX 70 
                                                               (VARREF k 70 
                                                                  (DESNULL 70)
                                                               31 1)
                                                               (FIELDREF b 70 
                                                                  (DESNULL 70)
                                                               14 12)
                                                            15)
                                                         27 2)
                                                         (VARREF first 70 
                                                            (DESNULL 70)
                                                         30 2)
                                                      5)
                                                      (STAT 72 
                                                         (ASSIGN 71 
                                                            (VARREF PivotIndex 71 
                                                               (DESNULL 71)
                                                            25 1)
                                                            (VARREF i 71 
                                                               (DESNULL 71)
                                                            28 1)
                                                         )
                                                         (STAT 72 
                                                            (ASSIGN 71 
                                                               (VARREF k 71 
                                                                  (DESNULL 71)
                                                               31 1)
                                                               (BINARY "+" 71 
                                                                  (VARREF j 71 
                                                                     (DESNULL 71)
                                                                  29 1)
                                                                  (INTLIT 1 71 1)
                                                               1)
                                                            )
                                                            (STATNULL 72)
                                                         )
                                                      )
                                                   )
                                                   (STATNULL 73)
                                                )
                                             )
                                             (STAT 75 
                                                (ASSIGN 74 
                                                   (VARREF k 74 
                                                      (DESNULL 74)
                                                   31 1)
                                                   (BINARY "+" 74 
                                                      (VARREF k 74 
                                                         (DESNULL 74)
                                                      31 1)
                                                      (INTLIT 1 74 1)
                                                   1)
                                                )
                                                (STATNULL 75)
                                             )
                                          )
                                       )
                                       (STATNULL 76)
                                    )
                                 )
                              )
                           )
                        26)
                        (DECL 138 
                           (PROCDECL Swap 92 
                              (DECL 81 
                                 (FORMALDECL A T VAL 79 33)
                                 (DECL 81 
                                    (FORMALDECL x INTEGER VAL 80 34)
                                    (DECL 81 
                                       (FORMALDECL y INTEGER VAL 81 35)
                                       (DECLNULL 81)
                                    )
                                 )
                              )
                              (DECL 84 
                                 (VARDECL i INTEGER 82 36)
                                 (DECL 84 
                                    (VARDECL t REAL 83 37)
                                    (DECLNULL 84)
                                 )
                              )
                              (STAT 92 
                                 (ASSIGN 85 
                                    (VARREF t 85 
                                       (DESNULL 85)
                                    37 2)
                                    (VARREF A 85 
                                       (INDEX 85 
                                          (VARREF x 85 
                                             (DESNULL 85)
                                          34 1)
                                          (FIELDREF b 85 
                                             (DESNULL 85)
                                          14 12)
                                       15)
                                    33 2)
                                 )
                                 (STAT 92 
                                    (ASSIGN 86 
                                       (VARREF A 86 
                                          (INDEX 86 
                                             (VARREF x 86 
                                                (DESNULL 86)
                                             34 1)
                                             (FIELDREF b 86 
                                                (DESNULL 86)
                                             14 12)
                                          15)
                                       33 2)
                                       (VARREF A 86 
                                          (INDEX 86 
                                             (VARREF y 86 
                                                (DESNULL 86)
                                             35 1)
                                             (FIELDREF b 86 
                                                (DESNULL 86)
                                             14 12)
                                          15)
                                       33 2)
                                    )
                                    (STAT 92 
                                       (ASSIGN 87 
                                          (VARREF A 87 
                                             (INDEX 87 
                                                (VARREF y 87 
                                                   (DESNULL 87)
                                                35 1)
                                                (FIELDREF b 87 
                                                   (DESNULL 87)
                                                14 12)
                                             15)
                                          33 2)
                                          (VARREF t 87 
                                             (DESNULL 87)
                                          37 2)
                                       )
                                       (STAT 92 
                                          (ASSIGN 89 
                                             (VARREF i 89 
                                                (DESNULL 89)
                                             36 1)
                                             (VARREF A 89 
                                                (INDEX 89 
                                                   (VARREF x 89 
                                                      (DESNULL 89)
                                                   34 1)
                                                   (FIELDREF a 89 
                                                      (DESNULL 89)
                                                   13 12)
                                                15)
                                             33 1)
                                          )
                                          (STAT 92 
                                             (ASSIGN 90 
                                                (VARREF A 90 
                                                   (INDEX 90 
                                                      (VARREF x 90 
                                                         (DESNULL 90)
                                                      34 1)
                                                      (FIELDREF a 90 
                                                         (DESNULL 90)
                                                      13 12)
                                                   15)
                                                33 1)
                                                (VARREF A 90 
                                                   (INDEX 90 
                                                      (VARREF y 90 
                                                         (DESNULL 90)
                                                      35 1)
                                                      (FIELDREF a 90 
                                                         (DESNULL 90)
                                                      13 12)
                                                   15)
                                                33 1)
                                             )
                                             (STAT 92 
                                                (ASSIGN 91 
                                                   (VARREF A 91 
                                                      (INDEX 91 
                                                         (VARREF y 91 
                                                            (DESNULL 91)
                                                         35 1)
                                                         (FIELDREF a 91 
                                                            (DESNULL 91)
                                                         13 12)
                                                      15)
                                                   33 1)
                                                   (VARREF i 91 
                                                      (DESNULL 91)
                                                   36 1)
                                                )
                                                (STATNULL 92)
                                             )
                                          )
                                       )
                                    )
                                 )
                              )
                           32)
                           (DECL 138 
                              (VARDECL PartElem INTEGER 95 38)
                              (DECL 138 
                                 (PROCDECL Partition 118 
                                    (DECL 100 
                                       (FORMALDECL A T VAL 97 40)
                                       (DECL 100 
                                          (FORMALDECL i INTEGER VAL 98 41)
                                          (DECL 100 
                                             (FORMALDECL j INTEGER VAL 99 42)
                                             (DECL 100 
                                                (FORMALDECL pivot REAL VAL 100 43)
                                                (DECLNULL 100)
                                             )
                                          )
                                       )
                                    )
                                    (DECL 103 
                                       (VARDECL l INTEGER 101 44)
                                       (DECL 103 
                                          (VARDECL r INTEGER 102 45)
                                          (DECLNULL 103)
                                       )
                                    )
                                    (STAT 118 
                                       (ASSIGN 104 
                                          (VARREF l 104 
                                             (DESNULL 104)
                                          44 1)
                                          (VARREF i 104 
                                             (DESNULL 104)
                                          41 1)
                                       )
                                       (STAT 118 
                                          (ASSIGN 105 
                                             (VARREF r 105 
                                                (DESNULL 105)
                                             45 1)
                                             (VARREF j 105 
                                                (DESNULL 105)
                                             42 1)
                                          )
                                          (STAT 118 
                                             (PROCCALL 107 
                                                (VARREF Swap 107 
                                                   (DESNULL 107)
                                                32 8)
                                                (ACTUAL 107 
                                                   (VARREF A 107 
                                                      (DESNULL 107)
                                                   40 15)
                                                   (ACTUAL 107 
                                                      (VARREF l 107 
                                                         (DESNULL 107)
                                                      44 1)
                                                      (ACTUAL 107 
                                                         (VARREF r 107 
                                                            (DESNULL 107)
                                                         45 1)
                                                         (ACTUALNULL 107)
                                                      35)
                                                   34)
                                                33)
                                             32)
                                             (STAT 118 
                                                (WHILE 108 
                                                   (BINARY "<" 108 
                                                      (VARREF A 108 
                                                         (INDEX 108 
                                                            (VARREF l 108 
                                                               (DESNULL 108)
                                                            44 1)
                                                            (FIELDREF b 108 
                                                               (DESNULL 108)
                                                            14 12)
                                                         15)
                                                      40 2)
                                                      (VARREF pivot 108 
                                                         (DESNULL 108)
                                                      43 2)
                                                   5)
                                                   (STAT 108 
                                                      (ASSIGN 108 
                                                         (VARREF l 108 
                                                            (DESNULL 108)
                                                         44 1)
                                                         (BINARY "+" 108 
                                                            (VARREF l 108 
                                                               (DESNULL 108)
                                                            44 1)
                                                            (INTLIT 1 108 1)
                                                         1)
                                                      )
                                                      (STATNULL 108)
                                                   )
                                                )
                                                (STAT 118 
                                                   (WHILE 109 
                                                      (BINARY ">=" 109 
                                                         (VARREF A 109 
                                                            (INDEX 109 
                                                               (VARREF r 109 
                                                                  (DESNULL 109)
                                                               45 1)
                                                               (FIELDREF b 109 
                                                                  (DESNULL 109)
                                                               14 12)
                                                            15)
                                                         40 2)
                                                         (VARREF pivot 109 
                                                            (DESNULL 109)
                                                         43 2)
                                                      5)
                                                      (STAT 109 
                                                         (ASSIGN 109 
                                                            (VARREF r 109 
                                                               (DESNULL 109)
                                                            45 1)
                                                            (BINARY "-" 109 
                                                               (VARREF r 109 
                                                                  (DESNULL 109)
                                                               45 1)
                                                               (INTLIT 1 109 1)
                                                            1)
                                                         )
                                                         (STATNULL 109)
                                                      )
                                                   )
                                                   (STAT 118 
                                                      (WHILE 115 
                                                         (BINARY "<=" 111 
                                                            (VARREF l 111 
                                                               (DESNULL 111)
                                                            44 1)
                                                            (VARREF r 111 
                                                               (DESNULL 111)
                                                            45 1)
                                                         5)
                                                         (STAT 115 
                                                            (PROCCALL 112 
                                                               (VARREF Swap 112 
                                                                  (DESNULL 112)
                                                               32 8)
                                                               (ACTUAL 112 
                                                                  (VARREF A 112 
                                                                     (DESNULL 112)
                                                                  40 15)
                                                                  (ACTUAL 112 
                                                                     (VARREF l 112 
                                                                        (DESNULL 112)
                                                                     44 1)
                                                                     (ACTUAL 112 
                                                                        (VARREF r 112 
                                                                           (DESNULL 112)
                                                                        45 1)
                                                                        (ACTUALNULL 112)
                                                                     35)
                                                                  34)
                                                               33)
                                                            32)
                                                            (STAT 115 
                                                               (WHILE 113 
                                                                  (BINARY "<" 113 
                                                                     (VARREF A 113 
                                                                        (INDEX 113 
                                                                           (VARREF l 113 
                                                                              (DESNULL 113)
                                                                           44 1)
                                                                           (FIELDREF b 113 
                                                                              (DESNULL 113)
                                                                           14 12)
                                                                        15)
                                                                     40 2)
                                                                     (VARREF pivot 113 
                                                                        (DESNULL 113)
                                                                     43 2)
                                                                  5)
                                                                  (STAT 113 
                                                                     (ASSIGN 113 
                                                                        (VARREF l 113 
                                                                           (DESNULL 113)
                                                                        44 1)
                                                                        (BINARY "+" 113 
                                                                           (VARREF l 113 
                                                                              (DESNULL 113)
                                                                           44 1)
                                                                           (INTLIT 1 113 1)
                                                                        1)
                                                                     )
                                                                     (STATNULL 113)
                                                                  )
                                                               )
                                                               (STAT 115 
                                                                  (WHILE 114 
                                                                     (BINARY ">=" 114 
                                                                        (VARREF A 114 
                                                                           (INDEX 114 
                                                                              (VARREF r 114 
                                                                                 (DESNULL 114)
                                                                              45 1)
                                                                              (FIELDREF b 114 
                                                                                 (DESNULL 114)
                                                                              14 12)
                                                                           15)
                                                                        40 2)
                                                                        (VARREF pivot 114 
                                                                           (DESNULL 114)
                                                                        43 2)
                                                                     5)
                                                                     (STAT 114 
                                                                        (ASSIGN 114 
                                                                           (VARREF r 114 
                                                                              (DESNULL 114)
                                                                           45 1)
                                                                           (BINARY "-" 114 
                                                                              (VARREF r 114 
                                                                                 (DESNULL 114)
                                                                              45 1)
                                                                              (INTLIT 1 114 1)
                                                                           1)
                                                                        )
                                                                        (STATNULL 114)
                                                                     )
                                                                  )
                                                                  (STATNULL 115)
                                                               )
                                                            )
                                                         )
                                                      )
                                                      (STAT 118 
                                                         (ASSIGN 117 
                                                            (VARREF PartElem 117 
                                                               (DESNULL 117)
                                                            38 1)
                                                            (VARREF l 117 
                                                               (DESNULL 117)
                                                            44 1)
                                                         )
                                                         (STATNULL 118)
                                                      )
                                                   )
                                                )
                                             )
                                          )
                                       )
                                    )
                                 39)
                                 (DECL 138 
                                    (PROCDECL Sort 134 
                                       (DECL 124 
                                          (FORMALDECL A T VAL 122 47)
                                          (DECL 124 
                                             (FORMALDECL i INTEGER VAL 123 48)
                                             (DECL 124 
                                                (FORMALDECL j INTEGER VAL 124 49)
                                                (DECLNULL 124)
                                             )
                                          )
                                       )
                                       (DECL 126 
                                          (VARDECL pivot REAL 125 50)
                                          (DECLNULL 126)
                                       )
                                       (STAT 134 
                                          (PROCCALL 127 
                                             (VARREF FindPivot 127 
                                                (DESNULL 127)
                                             26 8)
                                             (ACTUAL 127 
                                                (VARREF A 127 
                                                   (DESNULL 127)
                                                47 15)
                                                (ACTUAL 127 
                                                   (VARREF i 127 
                                                      (DESNULL 127)
                                                   48 1)
                                                   (ACTUAL 127 
                                                      (VARREF j 127 
                                                         (DESNULL 127)
                                                      49 1)
                                                      (ACTUALNULL 127)
                                                   29)
                                                28)
                                             27)
                                          26)
                                          (STAT 134 
                                             (IF1 133 
                                                (BINARY ">" 128 
                                                   (VARREF PivotIndex 128 
                                                      (DESNULL 128)
                                                   25 1)
                                                   (INTLIT 0 128 1)
                                                5)
                                                (STAT 133 
                                                   (ASSIGN 129 
                                                      (VARREF pivot 129 
                                                         (DESNULL 129)
                                                      50 2)
                                                      (VARREF A 129 
                                                         (INDEX 129 
                                                            (VARREF PivotIndex 129 
                                                               (DESNULL 129)
                                                            25 1)
                                                            (FIELDREF b 129 
                                                               (DESNULL 129)
                                                            14 12)
                                                         15)
                                                      47 2)
                                                   )
                                                   (STAT 133 
                                                      (PROCCALL 130 
                                                         (VARREF Partition 130 
                                                            (DESNULL 130)
                                                         39 8)
                                                         (ACTUAL 130 
                                                            (VARREF A 130 
                                                               (DESNULL 130)
                                                            47 15)
                                                            (ACTUAL 130 
                                                               (VARREF i 130 
                                                                  (DESNULL 130)
                                                               48 1)
                                                               (ACTUAL 130 
                                                                  (VARREF j 130 
                                                                     (DESNULL 130)
                                                                  49 1)
                                                                  (ACTUAL 130 
                                                                     (VARREF pivot 130 
                                                                        (DESNULL 130)
                                                                     50 2)
                                                                     (ACTUALNULL 130)
                                                                  43)
                                                               42)
                                                            41)
                                                         40)
                                                      39)
                                                      (STAT 133 
                                                         (PROCCALL 131 
                                                            (VARREF Sort 131 
                                                               (DESNULL 131)
                                                            46 8)
                                                            (ACTUAL 131 
                                                               (VARREF A 131 
                                                                  (DESNULL 131)
                                                               47 15)
                                                               (ACTUAL 131 
                                                                  (VARREF i 131 
                                                                     (DESNULL 131)
                                                                  48 1)
                                                                  (ACTUAL 131 
                                                                     (BINARY "-" 131 
                                                                        (VARREF PartElem 131 
                                                                           (DESNULL 131)
                                                                        38 1)
                                                                        (INTLIT 1 131 1)
                                                                     1)
                                                                     (ACTUALNULL 131)
                                                                  49)
                                                               48)
                                                            47)
                                                         46)
                                                         (STAT 133 
                                                            (PROCCALL 132 
                                                               (VARREF Sort 132 
                                                                  (DESNULL 132)
                                                               46 8)
                                                               (ACTUAL 132 
                                                                  (VARREF A 132 
                                                                     (DESNULL 132)
                                                                  47 15)
                                                                  (ACTUAL 132 
                                                                     (VARREF PartElem 132 
                                                                        (DESNULL 132)
                                                                     38 1)
                                                                     (ACTUAL 132 
                                                                        (VARREF j 132 
                                                                           (DESNULL 132)
                                                                        49 1)
                                                                        (ACTUALNULL 132)
                                                                     49)
                                                                  48)
                                                               47)
                                                            46)
                                                            (STATNULL 133)
                                                         )
                                                      )
                                                   )
                                                )
                                             )
                                             (STATNULL 134)
                                          )
                                       )
                                    46)
                                    (DECL 138 
                                       (VARDECL a T 136 51)
                                       (DECL 138 
                                          (VARDECL i INTEGER 137 52)
                                          (DECLNULL 138)
                                       )
                                    )
                                 )
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 142 
         (PROCCALL 139 
            (VARREF Create 139 
               (DESNULL 139)
            16 8)
            (ACTUAL 139 
               (VARREF a 139 
                  (DESNULL 139)
               51 15)
               (ACTUAL 139 
                  (INTLIT 200 139 1)
                  (ACTUALNULL 139)
               18)
            17)
         16)
         (STAT 142 
            (PROCCALL 140 
               (VARREF Sort 140 
                  (DESNULL 140)
               46 8)
               (ACTUAL 140 
                  (VARREF a 140 
                     (DESNULL 140)
                  51 15)
                  (ACTUAL 140 
                     (INTLIT 1 140 1)
                     (ACTUAL 140 
                        (INTLIT 200 140 1)
                        (ACTUALNULL 140)
                     49)
                  48)
               47)
            46)
            (STAT 142 
               (PROCCALL 141 
                  (VARREF IsSorted 141 
                     (DESNULL 141)
                  20 8)
                  (ACTUAL 141 
                     (INTLIT 200 141 1)
                     (ACTUAL 141 
                        (VARREF a 141 
                           (DESNULL 141)
                        51 15)
                        (ACTUALNULL 141)
                     22)
                  21)
               20)
               (STATNULL 142)
            )
         )
      )
   11)
)

PROGRAMS/vecprod.luc
(
   (
      (11 ProcedureSy $MAIN 43 0 
         ()
         (28 29 30 31 32 33)
      0 0)
      (12 TypeSy T 3 0 ArrayType 2000 2 0)
      (13 ProcedureSy Create 13 0 
         (14 15 16)
         (17 18 19 20)
      0 0)
      (14 FormalSy A 5 1 12 0 9 0 1 VAR)
      (15 FormalSy Size 5 1 1 0 9 0 2 VAL)
      (16 FormalSy V 5 1 2 0 9 0 3 VAL)
      (17 VariableSy i 6 1 1 0 0)
      (18 VariableSy j 7 1 1 0 0)
      (19 VariableSy F 8 1 2 0 0)
      (20 VariableSy $0 12 1 1 0 0)
      (21 ProcedureSy VP 23 0 
         (22 23 24 25)
         (26 27)
      0 0)
      (22 FormalSy S 16 1 2 0 9 0 1 VAR)
      (23 FormalSy Size 16 1 1 0 9 0 2 VAL)
      (24 FormalSy B 16 1 12 0 9 0 3 VAR)
      (25 FormalSy C 16 1 12 0 9 0 4 VAR)
      (26 VariableSy i 17 1 1 0 0)
      (27 VariableSy $1 22 1 1 0 0)
      (28 VariableSy A 25 0 12 0 0)
      (29 VariableSy B 26 0 12 0 0)
      (30 VariableSy S 27 0 2 0 0)
      (31 VariableSy E 28 0 2 0 0)
      (32 VariableSy EPS 29 0 2 0 0)
      (33 VariableSy Size 30 0 1 0 0)
   )
   (PROGRAM VecProd 43 
      (DECL 31 
         (ARRAYDECL T REAL 3 
            (INTLIT 2000 3 1)
         12)
         (DECL 31 
            (PROCDECL Create 13 
               (DECL 5 
                  (FORMALDECL A T VAR 5 14)
                  (DECL 5 
                     (FORMALDECL Size INTEGER VAL 5 15)
                     (DECL 5 
                        (FORMALDECL V REAL VAL 5 16)
                        (DECLNULL 5)
                     )
                  )
               )
               (DECL 9 
                  (VARDECL i INTEGER 6 17)
                  (DECL 9 
                     (VARDECL j INTEGER 7 18)
                     (DECL 9 
                        (VARDECL F REAL 8 19)
                        (DECLNULL 9)
                     )
                  )
               )
               (STAT 13 
                  (FOR i 12 
                     (INTLIT 1 10 1)
                     (VARREF Size 10 
                        (DESNULL 10)
                     15 1)
                     (INTLIT 1 10 1)
                  1 
                     (STAT 12 
                        (ASSIGN 11 
                           (VARREF A 11 
                              (INDEX 11 
                                 (VARREF i 11 
                                    (DESNULL 11)
                                 17 1)
                                 (DESNULL 11)
                              12)
                           14 2)
                           (VARREF V 11 
                              (DESNULL 11)
                           16 2)
                        )
                        (STATNULL 12)
                     )
                  17 20)
                  (STATNULL 13)
               )
            13)
            (DECL 31 
               (PROCDECL VP 23 
                  (DECL 16 
                     (FORMALDECL S REAL VAR 16 22)
                     (DECL 16 
                        (FORMALDECL Size INTEGER VAL 16 23)
                        (DECL 16 
                           (FORMALDECL B T VAR 16 24)
                           (DECL 16 
                              (FORMALDECL C T VAR 16 25)
                              (DECLNULL 16)
                           )
                        )
                     )
                  )
                  (DECL 18 
                     (VARDECL i INTEGER 17 26)
                     (DECLNULL 18)
                  )
                  (STAT 23 
                     (ASSIGN 19 
                        (VARREF S 19 
                           (DESNULL 19)
                        22 2)
                        (REALLIT 0.0 19 2)
                     )
                     (STAT 23 
                        (FOR i 22 
                           (INTLIT 1 20 1)
                           (VARREF Size 20 
                              (DESNULL 20)
                           23 1)
                           (INTLIT 1 20 1)
                        1 
                           (STAT 22 
                              (ASSIGN 21 
                                 (VARREF S 21 
                                    (DESNULL 21)
                                 22 2)
                                 (BINARY "+" 21 
                                    (VARREF S 21 
                                       (DESNULL 21)
                                    22 2)
                                    (BINARY "*" 21 
                                       (VARREF B 21 
                                          (INDEX 21 
                                             (VARREF i 21 
                                                (DESNULL 21)
                                             26 1)
                                             (DESNULL 21)
                                          12)
                                       24 2)
                                       (VARREF C 21 
                                          (INDEX 21 
                                             (VARREF i 21 
                                                (DESNULL 21)
                                             26 1)
                                             (DESNULL 21)
                                          12)
                                       25 2)
                                    2)
                                 2)
                              )
                              (STATNULL 22)
                           )
                        26 27)
                        (STATNULL 23)
                     )
                  )
               21)
               (DECL 31 
                  (VARDECL A T 25 28)
                  (DECL 31 
                     (VARDECL B T 26 29)
                     (DECL 31 
                        (VARDECL S REAL 27 30)
                        (DECL 31 
                           (VARDECL E REAL 28 31)
                           (DECL 31 
                              (VARDECL EPS REAL 29 32)
                              (DECL 31 
                                 (VARDECL Size INTEGER 30 33)
                                 (DECLNULL 31)
                              )
                           )
                        )
                     )
                  )
               )
            )
         )
      )
      (STAT 43 
         (PROCCALL 32 
            (VARREF Create 32 
               (DESNULL 32)
            13 8)
            (ACTUAL 32 
               (VARREF A 32 
                  (DESNULL 32)
               28 12)
               (ACTUAL 32 
                  (VARREF Size 32 
                     (DESNULL 32)
                  33 1)
                  (ACTUAL 32 
                     (REALLIT 3.0 32 2)
                     (ACTUALNULL 32)
                  16)
               15)
            14)
         13)
         (STAT 43 
            (PROCCALL 33 
               (VARREF Create 33 
                  (DESNULL 33)
               13 8)
               (ACTUAL 33 
                  (VARREF B 33 
                     (DESNULL 33)
                  29 12)
                  (ACTUAL 33 
                     (VARREF Size 33 
                        (DESNULL 33)
                     33 1)
                     (ACTUAL 33 
                        (REALLIT 2.0 33 2)
                        (ACTUALNULL 33)
                     16)
                  15)
               14)
            13)
            (STAT 43 
               (PROCCALL 34 
                  (VARREF VP 34 
                     (DESNULL 34)
                  21 8)
                  (ACTUAL 34 
                     (VARREF S 34 
                        (DESNULL 34)
                     30 2)
                     (ACTUAL 34 
                        (VARREF Size 34 
                           (DESNULL 34)
                        33 1)
                        (ACTUAL 34 
                           (VARREF A 34 
                              (DESNULL 34)
                           28 12)
                           (ACTUAL 34 
                              (VARREF B 34 
                                 (DESNULL 34)
                              29 12)
                              (ACTUALNULL 34)
                           25)
                        24)
                     23)
                  22)
               21)
               (STAT 43 
                  (ASSIGN 35 
                     (VARREF E 35 
                        (DESNULL 35)
                     31 2)
                     (BINARY "*" 35 
                        (BINARY "*" 35 
                           (REALLIT 3.0 35 2)
                           (REALLIT 2.0 35 2)
                        2)
                        (UNARY "FLOAT" 35 
                           (VARREF Size 35 
                              (DESNULL 35)
                           33 1)
                        2)
                     2)
                  )
                  (STAT 43 
                     (ASSIGN 36 
                        (VARREF EPS 36 
                           (DESNULL 36)
                        32 2)
                        (REALLIT 0.0001 36 2)
                     )
                     (STAT 43 
                        (IF2 41 
                           (BINARY "AND" 37 
                              (BINARY ">=" 37 
                                 (BINARY "+" 37 
                                    (VARREF S 37 
                                       (DESNULL 37)
                                    30 2)
                                    (VARREF EPS 37 
                                       (DESNULL 37)
                                    32 2)
                                 2)
                                 (VARREF E 37 
                                    (DESNULL 37)
                                 31 2)
                              5)
                              (BINARY "<=" 37 
                                 (BINARY "-" 37 
                                    (VARREF S 37 
                                       (DESNULL 37)
                                    30 2)
                                    (VARREF EPS 37 
                                       (DESNULL 37)
                                    32 2)
                                 2)
                                 (VARREF E 37 
                                    (DESNULL 37)
                                 31 2)
                              5)
                           5)
                           (STAT 39 
                              (WRITE 38 
                                 (STRINGLIT "SUCCEED" 38 4)
                              )
                              (STATNULL 39)
                           )
                           (STAT 41 
                              (WRITE 40 
                                 (STRINGLIT "FAIL" 40 4)
                              )
                              (STATNULL 41)
                           )
                        )
                        (STAT 43 
                           (WRITELN 42)
                           (STATNULL 43)
                        )
                     )
                  )
               )
            )
         )
      )
   11)
)

