CTC for webApp8_path11b
---------------------------------
Step 1  [input]  username = AT0O7q   @ 
Step 2  [input]  password = 6J68l6   @ 
Step 3  [input]  userType = LIBRARIAN   @ 
Step 4  [funccall-0]  #not_in = <empty>   @ assume
Step 5  [funccall-0]  username = AT0O7q   @ assume
Step 6  [funccall-0]  #dom = <empty>   @ assume
Step 7  [funccall-0]  USERNAME_PASSWORD = <empty>   @ assume
Step 8  [funccall-0]  ## = <empty>   @ assume
Step 9  [funccall-0]  ## = <empty>   @ assume
Step 10  [funccall-1]  username = AT0O7q   @ register
Step 11  [funccall-1]  password = 6J68l6   @ register
Step 12  [funccall-1]  userType = LIBRARIAN   @ register
Step 13  [funccall-2]  #and_operator = <empty>   @ assert
Step 14  [funccall-2]  #and_operator = <empty>   @ assert
Step 15  [funccall-2]  #in_dom = <empty>   @ assert
Step 16  [funccall-2]  USERNAME_PASSWORD = <empty>   @ assert
Step 17  [funccall-2]  username = AT0O7q   @ assert
Step 18  [funccall-2]  ## = <empty>   @ assert
Step 19  [funccall-2]  #in_dom = <empty>   @ assert
Step 20  [funccall-2]  USERNAME_USERTYPE = <empty>   @ assert
Step 21  [funccall-2]  username = AT0O7q   @ assert
Step 22  [funccall-2]  ## = <empty>   @ assert
Step 23  [funccall-2]  ## = <empty>   @ assert
Step 24  [funccall-2]  #and_operator = <empty>   @ assert
Step 25  [funccall-2]  #equals = <empty>   @ assert
Step 26  [funccall-2]  #mapVal = <empty>   @ assert
Step 27  [funccall-2]  USERNAME_PASSWORD = <empty>   @ assert
Step 28  [funccall-2]  username = AT0O7q   @ assert
Step 29  [funccall-2]  ## = <empty>   @ assert
Step 30  [funccall-2]  password = 6J68l6   @ assert
Step 31  [funccall-2]  ## = <empty>   @ assert
Step 32  [funccall-2]  #equals = <empty>   @ assert
Step 33  [funccall-2]  #mapVal = <empty>   @ assert
Step 34  [funccall-2]  USERNAME_USERTYPE = <empty>   @ assert
Step 35  [funccall-2]  username = AT0O7q   @ assert
Step 36  [funccall-2]  ## = <empty>   @ assert
Step 37  [funccall-2]  userType = LIBRARIAN   @ assert
Step 38  [funccall-2]  ## = <empty>   @ assert
Step 39  [funccall-2]  ## = <empty>   @ assert
Step 40  [funccall-2]  ## = <empty>   @ assert
Step 41  [funccall-3]  #and_operator = <empty>   @ assume
Step 42  [funccall-3]  #in_dom = <empty>   @ assume
Step 43  [funccall-3]  USERNAME_PASSWORD = <empty>   @ assume
Step 44  [funccall-3]  username = AT0O7q   @ assume
Step 45  [funccall-3]  ## = <empty>   @ assume
Step 46  [funccall-3]  #equals = <empty>   @ assume
Step 47  [funccall-3]  #mapVal = <empty>   @ assume
Step 48  [funccall-3]  USERNAME_PASSWORD = <empty>   @ assume
Step 49  [funccall-3]  username = AT0O7q   @ assume
Step 50  [funccall-3]  ## = <empty>   @ assume
Step 51  [funccall-3]  password = 6J68l6   @ assume
Step 52  [funccall-3]  ## = <empty>   @ assume
Step 53  [funccall-3]  ## = <empty>   @ assume
Step 54  [funccall-4]  username = AT0O7q   @ login
Step 55  [funccall-4]  password = 6J68l6   @ login
Step 56  [effect]  token = CFGMQV   @ SYSTEM
Step 57  [funccall-5]  #in_dom = <empty>   @ assert
Step 58  [funccall-5]  TOKEN_USERNAME = <empty>   @ assert
Step 59  [funccall-5]  token = CFGMQV   @ assert
Step 60  [funccall-5]  ## = <empty>   @ assert
Step 61  [effect]  token = CFGMQV   @ SYSTEM
Step 62  [effect]  userId = R_94qhXH   @ SYSTEM
Step 63  [effect]  bookId = 04OmPN   @ SYSTEM
Step 64  [funccall-6]   = <empty>   @ getBooks
Step 65  [effect]  studentId = s_88zg   @ SYSTEM
Step 66  [funccall-7]   = <empty>   @ getStudents
Step 67  [funccall-8]  #and_operator = <empty>   @ assume
Step 68  [funccall-8]  #and_operator = <empty>   @ assume
Step 69  [funccall-8]  #in_dom = <empty>   @ assume
Step 70  [funccall-8]  USERNAME_USERTYPE = <empty>   @ assume
Step 71  [funccall-8]  username = AT0O7q   @ assume
Step 72  [funccall-8]  ## = <empty>   @ assume
Step 73  [funccall-8]  #in_dom = <empty>   @ assume
Step 74  [funccall-8]  USERID_USERTYPE = <empty>   @ assume
Step 75  [funccall-8]  userId = R_94qhXH   @ assume
Step 76  [funccall-8]  ## = <empty>   @ assume
Step 77  [funccall-8]  ## = <empty>   @ assume
Step 78  [funccall-8]  #and_operator = <empty>   @ assume
Step 79  [funccall-8]  #equals = <empty>   @ assume
Step 80  [funccall-8]  #mapVal = <empty>   @ assume
Step 81  [funccall-8]  USERID_USERTYPE = <empty>   @ assume
Step 82  [funccall-8]  userId = R_94qhXH   @ assume
Step 83  [funccall-8]  ## = <empty>   @ assume
Step 84  [funccall-8]  $LIBRARIAN = <empty>   @ assume
Step 85  [funccall-8]  ## = <empty>   @ assume
Step 86  [funccall-8]  #equals = <empty>   @ assume
Step 87  [funccall-8]  #mapVal = <empty>   @ assume
Step 88  [funccall-8]  USERNAME_USERTYPE = <empty>   @ assume
Step 89  [funccall-8]  username = AT0O7q   @ assume
Step 90  [funccall-8]  ## = <empty>   @ assume
Step 91  [funccall-8]  $STUDENT = <empty>   @ assume
Step 92  [funccall-8]  ## = <empty>   @ assume
Step 93  [funccall-8]  ## = <empty>   @ assume
Step 94  [funccall-8]  ## = <empty>   @ assume
Step 95  [funccall-9]  bookId = 04OmPN   @ checkout
Step 96  [funccall-9]  studentId = s_88zg   @ checkout
