CTC for webApp7_path6
---------------------------------
Step 1  [input]  email = _w00sw   @ 
Step 2  [input]  password = 0zvo3o   @ 
Step 3  [input]  fullName = ABAoo_   @ 
Step 4  [input]  mobile = L3Bmwz   @ 
Step 5  [input]  role = customer   @ 
Step 6  [input]  quantity = 2   @ 
Step 7  [input]  deliveryAddress = 0A3C_o   @ 
Step 8  [input]  paymentMethod = H9_zo9   @ 
Step 9  [input]  notes = KgA_A7   @ 
Step 10  [funccall-0]  #not_in = <empty>   @ assume
Step 11  [funccall-0]  email = _w00sw   @ assume
Step 12  [funccall-0]  #dom = <empty>   @ assume
Step 13  [funccall-0]  EMAIL_PASSWORD = <empty>   @ assume
Step 14  [funccall-0]  ## = <empty>   @ assume
Step 15  [funccall-0]  ## = <empty>   @ assume
Step 16  [funccall-1]  email = _w00sw   @ register
Step 17  [funccall-1]  password = 0zvo3o   @ register
Step 18  [funccall-1]  fullName = ABAoo_   @ register
Step 19  [funccall-1]  mobile = L3Bmwz   @ register
Step 20  [funccall-1]  role = customer   @ register
Step 21  [funccall-2]  #and_operator = <empty>   @ assert
Step 22  [funccall-2]  #in_dom = <empty>   @ assert
Step 23  [funccall-2]  EMAIL_PASSWORD = <empty>   @ assert
Step 24  [funccall-2]  email = _w00sw   @ assert
Step 25  [funccall-2]  ## = <empty>   @ assert
Step 26  [funccall-2]  #in_dom = <empty>   @ assert
Step 27  [funccall-2]  EMAIL_ROLE = <empty>   @ assert
Step 28  [funccall-2]  email = _w00sw   @ assert
Step 29  [funccall-2]  ## = <empty>   @ assert
Step 30  [funccall-2]  #equals = <empty>   @ assert
Step 31  [funccall-2]  #mapVal = <empty>   @ assert
Step 32  [funccall-2]  EMAIL_PASSWORD = <empty>   @ assert
Step 33  [funccall-2]  email = _w00sw   @ assert
Step 34  [funccall-2]  ## = <empty>   @ assert
Step 35  [funccall-2]  password = 0zvo3o   @ assert
Step 36  [funccall-2]  ## = <empty>   @ assert
Step 37  [funccall-2]  #equals = <empty>   @ assert
Step 38  [funccall-2]  #mapVal = <empty>   @ assert
Step 39  [funccall-2]  EMAIL_ROLE = <empty>   @ assert
Step 40  [funccall-2]  email = _w00sw   @ assert
Step 41  [funccall-2]  ## = <empty>   @ assert
Step 42  [funccall-2]  role = customer   @ assert
Step 43  [funccall-2]  ## = <empty>   @ assert
Step 44  [funccall-2]  ## = <empty>   @ assert
Step 45  [funccall-3]  #and_operator = <empty>   @ assume
Step 46  [funccall-3]  #in_dom = <empty>   @ assume
Step 47  [funccall-3]  EMAIL_PASSWORD = <empty>   @ assume
Step 48  [funccall-3]  email = _w00sw   @ assume
Step 49  [funccall-3]  ## = <empty>   @ assume
Step 50  [funccall-3]  #equals = <empty>   @ assume
Step 51  [funccall-3]  #mapVal = <empty>   @ assume
Step 52  [funccall-3]  EMAIL_PASSWORD = <empty>   @ assume
Step 53  [funccall-3]  email = _w00sw   @ assume
Step 54  [funccall-3]  ## = <empty>   @ assume
Step 55  [funccall-3]  password = 0zvo3o   @ assume
Step 56  [funccall-3]  ## = <empty>   @ assume
Step 57  [funccall-3]  ## = <empty>   @ assume
Step 58  [funccall-4]  email = _w00sw   @ login
Step 59  [funccall-4]  password = 0zvo3o   @ login
Step 60  [effect]  token = _w00sw   @ SYSTEM
Step 61  [funccall-5]  #in_dom = <empty>   @ assert
Step 62  [funccall-5]  TOKEN_EMAIL = <empty>   @ assert
Step 63  [funccall-5]  token = _w00sw   @ assert
Step 64  [funccall-5]  ## = <empty>   @ assert
Step 65  [effect]  restaurantId = 0kzO3w   @ SYSTEM
Step 66  [funccall-6]   = <empty>   @ getRestaurants
Step 67  [effect]  productId = Ab00Aw   @ SYSTEM
Step 68  [funccall-7]  true = <empty>   @ assume
Step 69  [funccall-8]  restaurantId = 0kzO3w   @ getRestaurantMenu
Step 70  [funccall-9]  true = <empty>   @ assert
Step 71  [effect]  userId = _oz0yw   @ SYSTEM
Step 72  [funccall-10]  #and_operator = <empty>   @ assume
Step 73  [funccall-10]  #in_dom = <empty>   @ assume
Step 74  [funccall-10]  TOKEN_EMAIL = <empty>   @ assume
Step 75  [funccall-10]  token = _w00sw   @ assume
Step 76  [funccall-10]  ## = <empty>   @ assume
Step 77  [funccall-10]  #equals = <empty>   @ assume
Step 78  [funccall-10]  #mapVal = <empty>   @ assume
Step 79  [funccall-10]  TOKEN_EMAIL = <empty>   @ assume
Step 80  [funccall-10]  token = _w00sw   @ assume
Step 81  [funccall-10]  ## = <empty>   @ assume
Step 82  [funccall-10]  email = _w00sw   @ assume
Step 83  [funccall-10]  ## = <empty>   @ assume
Step 84  [funccall-10]  #equals = <empty>   @ assume
Step 85  [funccall-10]  #mapVal = <empty>   @ assume
Step 86  [funccall-10]  EMAIL_ROLE = <empty>   @ assume
Step 87  [funccall-10]  email = _w00sw   @ assume
Step 88  [funccall-10]  ## = <empty>   @ assume
Step 89  [funccall-10]  $customer = <empty>   @ assume
Step 90  [funccall-10]  ## = <empty>   @ assume
Step 91  [funccall-10]  #in_dom = <empty>   @ assume
Step 92  [funccall-10]  EMAIL_USERID = <empty>   @ assume
Step 93  [funccall-10]  email = _w00sw   @ assume
Step 94  [funccall-10]  ## = <empty>   @ assume
Step 95  [funccall-10]  #in_dom = <empty>   @ assume
Step 96  [funccall-10]  PRODUCTID_USERID = <empty>   @ assume
Step 97  [funccall-10]  productId = Ab00Aw   @ assume
Step 98  [funccall-10]  ## = <empty>   @ assume
Step 99  [funccall-10]  #in_dom = <empty>   @ assume
Step 100  [funccall-10]  PRODUCTID_RESTAURANTID = <empty>   @ assume
Step 101  [funccall-10]  productId = Ab00Aw   @ assume
Step 102  [funccall-10]  ## = <empty>   @ assume
Step 103  [funccall-10]  #equals = <empty>   @ assume
Step 104  [funccall-10]  #mapVal = <empty>   @ assume
Step 105  [funccall-10]  PRODUCTID_RESTAURANTID = <empty>   @ assume
Step 106  [funccall-10]  productId = Ab00Aw   @ assume
Step 107  [funccall-10]  ## = <empty>   @ assume
Step 108  [funccall-10]  restaurantId = 0kzO3w   @ assume
Step 109  [funccall-10]  ## = <empty>   @ assume
Step 110  [funccall-10]  ## = <empty>   @ assume
Step 111  [funccall-11]  productId = Ab00Aw   @ addToCart
Step 112  [funccall-11]  quantity = 2   @ addToCart
Step 113  [funccall-11]  userId = _oz0yw   @ addToCart
Step 114  [effect]  productId = Ab00Aw   @ SYSTEM
Step 115  [funccall-12]  #in_dom = <empty>   @ assert
Step 116  [funccall-12]  PRODUCTID_CARTID = <empty>   @ assert
Step 117  [funccall-12]  productId = Ab00Aw   @ assert
Step 118  [funccall-12]  ## = <empty>   @ assert
Step 119  [funccall-13]  #and_operator = <empty>   @ assume
Step 120  [funccall-13]  #in_dom = <empty>   @ assume
Step 121  [funccall-13]  EMAIL_USERID = <empty>   @ assume
Step 122  [funccall-13]  email = _w00sw   @ assume
Step 123  [funccall-13]  ## = <empty>   @ assume
Step 124  [funccall-13]  #equals = <empty>   @ assume
Step 125  [funccall-13]  #mapVal = <empty>   @ assume
Step 126  [funccall-13]  EMAIL_ROLE = <empty>   @ assume
Step 127  [funccall-13]  email = _w00sw   @ assume
Step 128  [funccall-13]  ## = <empty>   @ assume
Step 129  [funccall-13]  $customer = <empty>   @ assume
Step 130  [funccall-13]  ## = <empty>   @ assume
Step 131  [funccall-13]  ## = <empty>   @ assume
Step 132  [funccall-14]  userId = _oz0yw   @ getCart
Step 133  [funccall-15]  true = <empty>   @ assert
Step 134  [funccall-16]  #and_operator = <empty>   @ assume
Step 135  [funccall-16]  #in_dom = <empty>   @ assume
Step 136  [funccall-16]  EMAIL_USERID = <empty>   @ assume
Step 137  [funccall-16]  email = _w00sw   @ assume
Step 138  [funccall-16]  ## = <empty>   @ assume
Step 139  [funccall-16]  #equals = <empty>   @ assume
Step 140  [funccall-16]  #mapVal = <empty>   @ assume
Step 141  [funccall-16]  EMAIL_ROLE = <empty>   @ assume
Step 142  [funccall-16]  email = _w00sw   @ assume
Step 143  [funccall-16]  ## = <empty>   @ assume
Step 144  [funccall-16]  $customer = <empty>   @ assume
Step 145  [funccall-16]  ## = <empty>   @ assume
Step 146  [funccall-16]  #in_dom = <empty>   @ assume
Step 147  [funccall-16]  PRODUCTID_CARTID = <empty>   @ assume
Step 148  [funccall-16]  productId = Ab00Aw   @ assume
Step 149  [funccall-16]  ## = <empty>   @ assume
Step 150  [funccall-16]  ## = <empty>   @ assume
Step 151  [funccall-17]  userId = _oz0yw   @ updateCart
Step 152  [funccall-17]  productId = Ab00Aw   @ updateCart
Step 153  [funccall-17]  quantity = 2   @ updateCart
Step 154  [funccall-18]  true = <empty>   @ assert
Step 155  [effect]  orderId = Aoaohk   @ SYSTEM
Step 156  [funccall-19]  #and_operator = <empty>   @ assume
Step 157  [funccall-19]  #in_dom = <empty>   @ assume
Step 158  [funccall-19]  EMAIL_USERID = <empty>   @ assume
Step 159  [funccall-19]  email = _w00sw   @ assume
Step 160  [funccall-19]  ## = <empty>   @ assume
Step 161  [funccall-19]  #equals = <empty>   @ assume
Step 162  [funccall-19]  #mapVal = <empty>   @ assume
Step 163  [funccall-19]  EMAIL_ROLE = <empty>   @ assume
Step 164  [funccall-19]  email = _w00sw   @ assume
Step 165  [funccall-19]  ## = <empty>   @ assume
Step 166  [funccall-19]  $customer = <empty>   @ assume
Step 167  [funccall-19]  ## = <empty>   @ assume
Step 168  [funccall-19]  #in_dom = <empty>   @ assume
Step 169  [funccall-19]  PRODUCTID_CARTID = <empty>   @ assume
Step 170  [funccall-19]  productId = Ab00Aw   @ assume
Step 171  [funccall-19]  ## = <empty>   @ assume
Step 172  [funccall-19]  ## = <empty>   @ assume
Step 173  [funccall-20]  userId = _oz0yw   @ createOrder
Step 174  [funccall-20]  deliveryAddress = 0A3C_o   @ createOrder
Step 175  [funccall-20]  paymentMethod = H9_zo9   @ createOrder
Step 176  [funccall-20]  notes = KgA_A7   @ createOrder
Step 177  [effect]  orderId = Aoaohk   @ SYSTEM
Step 178  [effect]  userId = _oz0yw   @ SYSTEM
Step 179  [funccall-21]  #and_operator = <empty>   @ assert
Step 180  [funccall-21]  #in_dom = <empty>   @ assert
Step 181  [funccall-21]  ORDERID_USERID = <empty>   @ assert
Step 182  [funccall-21]  orderId = Aoaohk   @ assert
Step 183  [funccall-21]  ## = <empty>   @ assert
Step 184  [funccall-21]  #equals = <empty>   @ assert
Step 185  [funccall-21]  #mapVal = <empty>   @ assert
Step 186  [funccall-21]  ORDERID_USERID = <empty>   @ assert
Step 187  [funccall-21]  orderId = Aoaohk   @ assert
Step 188  [funccall-21]  ## = <empty>   @ assert
Step 189  [funccall-21]  userId = _oz0yw   @ assert
Step 190  [funccall-21]  ## = <empty>   @ assert
Step 191  [funccall-21]  ## = <empty>   @ assert
Step 192  [funccall-22]  #and_operator = <empty>   @ assume
Step 193  [funccall-22]  #in_dom = <empty>   @ assume
Step 194  [funccall-22]  EMAIL_USERID = <empty>   @ assume
Step 195  [funccall-22]  email = _w00sw   @ assume
Step 196  [funccall-22]  ## = <empty>   @ assume
Step 197  [funccall-22]  #equals = <empty>   @ assume
Step 198  [funccall-22]  #mapVal = <empty>   @ assume
Step 199  [funccall-22]  EMAIL_ROLE = <empty>   @ assume
Step 200  [funccall-22]  email = _w00sw   @ assume
Step 201  [funccall-22]  ## = <empty>   @ assume
Step 202  [funccall-22]  $customer = <empty>   @ assume
Step 203  [funccall-22]  ## = <empty>   @ assume
Step 204  [funccall-22]  ## = <empty>   @ assume
Step 205  [funccall-23]  userId = _oz0yw   @ getOrders
Step 206  [funccall-24]  true = <empty>   @ assert
