CTC for webApp5_path11c
---------------------------------
Step 1  [funccall-0]  #force_empty = <empty>   @ assume
Step 2  [funccall-0]  EMAIL_PASSWORD = <empty>   @ assume
Step 3  [funccall-0]  ## = <empty>   @ assume
Step 4  [funccall-1]  #force_empty = <empty>   @ assume
Step 5  [funccall-1]  EMAIL_ROLE = <empty>   @ assume
Step 6  [funccall-1]  ## = <empty>   @ assume
Step 7  [funccall-2]  #force_empty = <empty>   @ assume
Step 8  [funccall-2]  TOKEN_EMAIL = <empty>   @ assume
Step 9  [funccall-2]  ## = <empty>   @ assume
Step 10  [funccall-3]  #force_empty = <empty>   @ assume
Step 11  [funccall-3]  EMAIL_USERID = <empty>   @ assume
Step 12  [funccall-3]  ## = <empty>   @ assume
Step 13  [funccall-4]  #force_empty = <empty>   @ assume
Step 14  [funccall-4]  PRODUCTID_USERID = <empty>   @ assume
Step 15  [funccall-4]  ## = <empty>   @ assume
Step 16  [funccall-5]  #force_empty = <empty>   @ assume
Step 17  [funccall-5]  EMAIL_CARTID = <empty>   @ assume
Step 18  [funccall-5]  ## = <empty>   @ assume
Step 19  [funccall-6]  #force_empty = <empty>   @ assume
Step 20  [funccall-6]  PRODUCTID_CARTID = <empty>   @ assume
Step 21  [funccall-6]  ## = <empty>   @ assume
Step 22  [funccall-7]  #force_empty = <empty>   @ assume
Step 23  [funccall-7]  CARTID_USERID = <empty>   @ assume
Step 24  [funccall-7]  ## = <empty>   @ assume
Step 25  [funccall-8]  #force_empty = <empty>   @ assume
Step 26  [funccall-8]  ORDERID_USERID = <empty>   @ assume
Step 27  [funccall-8]  ## = <empty>   @ assume
Step 28  [input]  email = 0_50OA   @ assume
Step 29  [input]  password = 8qut0K   @ assume
Step 30  [input]  fullName = J3KE3p   @ assume
Step 31  [input]  userType = Seller   @ assume
Step 32  [input]  storeName = 9xMwzN   @ assume
Step 33  [input]  storeDescription = p4OigsP0   @ assume
Step 34  [funccall-9]  #not_in = <empty>   @ assume
Step 35  [funccall-9]  email = 0_50OA   @ assume
Step 36  [funccall-9]  #dom = <empty>   @ assume
Step 37  [funccall-9]  EMAIL_PASSWORD = <empty>   @ assume
Step 38  [funccall-9]  ## = <empty>   @ assume
Step 39  [funccall-9]  ## = <empty>   @ assume
Step 40  [funccall-10]  email = 0_50OA   @ register
Step 41  [funccall-10]  password = 8qut0K   @ register
Step 42  [funccall-10]  fullName = J3KE3p   @ register
Step 43  [funccall-10]  userType = Seller   @ register
Step 44  [funccall-10]  storeName = 9xMwzN   @ register
Step 45  [funccall-10]  storeDescription = p4OigsP0   @ register
Step 46  [funccall-11]  #and_operator = <empty>   @ assert
Step 47  [funccall-11]  #in_dom = <empty>   @ assert
Step 48  [funccall-11]  EMAIL_PASSWORD = <empty>   @ assert
Step 49  [funccall-11]  email = 0_50OA   @ assert
Step 50  [funccall-11]  ## = <empty>   @ assert
Step 51  [funccall-11]  #in_dom = <empty>   @ assert
Step 52  [funccall-11]  EMAIL_ROLE = <empty>   @ assert
Step 53  [funccall-11]  email = 0_50OA   @ assert
Step 54  [funccall-11]  ## = <empty>   @ assert
Step 55  [funccall-11]  #equals = <empty>   @ assert
Step 56  [funccall-11]  #mapVal = <empty>   @ assert
Step 57  [funccall-11]  EMAIL_PASSWORD = <empty>   @ assert
Step 58  [funccall-11]  email = 0_50OA   @ assert
Step 59  [funccall-11]  ## = <empty>   @ assert
Step 60  [funccall-11]  password = 8qut0K   @ assert
Step 61  [funccall-11]  ## = <empty>   @ assert
Step 62  [funccall-11]  #equals = <empty>   @ assert
Step 63  [funccall-11]  #mapVal = <empty>   @ assert
Step 64  [funccall-11]  EMAIL_ROLE = <empty>   @ assert
Step 65  [funccall-11]  email = 0_50OA   @ assert
Step 66  [funccall-11]  ## = <empty>   @ assert
Step 67  [funccall-11]  userType = Seller   @ assert
Step 68  [funccall-11]  ## = <empty>   @ assert
Step 69  [funccall-11]  ## = <empty>   @ assert
Step 70  [funccall-12]  #and_operator = <empty>   @ assume
Step 71  [funccall-12]  #in_dom = <empty>   @ assume
Step 72  [funccall-12]  EMAIL_PASSWORD = <empty>   @ assume
Step 73  [funccall-12]  email = 0_50OA   @ assume
Step 74  [funccall-12]  ## = <empty>   @ assume
Step 75  [funccall-12]  #equals = <empty>   @ assume
Step 76  [funccall-12]  #mapVal = <empty>   @ assume
Step 77  [funccall-12]  EMAIL_PASSWORD = <empty>   @ assume
Step 78  [funccall-12]  email = 0_50OA   @ assume
Step 79  [funccall-12]  ## = <empty>   @ assume
Step 80  [funccall-12]  password = 8qut0K   @ assume
Step 81  [funccall-12]  ## = <empty>   @ assume
Step 82  [funccall-12]  ## = <empty>   @ assume
Step 83  [funccall-13]  email = 0_50OA   @ login
Step 84  [funccall-13]  password = 8qut0K   @ login
Step 85  [effect]  token = BCDFGH   @ SYSTEM
Step 86  [funccall-14]  #in_dom = <empty>   @ assert
Step 87  [funccall-14]  TOKEN_EMAIL = <empty>   @ assert
Step 88  [funccall-14]  token = BCDFGH   @ assert
Step 89  [funccall-14]  ## = <empty>   @ assert
Step 90  [funccall-15]  #in_dom = <empty>   @ assume
Step 91  [funccall-15]  TOKEN_EMAIL = <empty>   @ assume
Step 92  [funccall-15]  token = BCDFGH   @ assume
Step 93  [funccall-15]  ## = <empty>   @ assume
Step 94  [funccall-16]   = <empty>   @ getProfile
Step 95  [funccall-17]  true = <empty>   @ assert
Step 96  [funccall-18]  #in_dom = <empty>   @ assume
Step 97  [funccall-18]  TOKEN_EMAIL = <empty>   @ assume
Step 98  [funccall-18]  token = BCDFGH   @ assume
Step 99  [funccall-18]  ## = <empty>   @ assume
Step 100  [funccall-19]  fullName = J3KE3p   @ updateProfile
Step 101  [funccall-19]  storeName = 9xMwzN   @ updateProfile
Step 102  [funccall-19]  storeDescription = p4OigsP0   @ updateProfile
Step 103  [funccall-20]  true = <empty>   @ assert
