CTC for webApp8_probe_double_register_rejected
---------------------------------
Step 1  [funccall-0]  #force_empty = <empty>   @ assume
Step 2  [funccall-0]  USERNAME_PASSWORD = <empty>   @ assume
Step 3  [funccall-0]  ## = <empty>   @ assume
Step 4  [funccall-1]  #force_empty = <empty>   @ assume
Step 5  [funccall-1]  USERNAME_USERTYPE = <empty>   @ assume
Step 6  [funccall-1]  ## = <empty>   @ assume
Step 7  [funccall-2]  #force_empty = <empty>   @ assume
Step 8  [funccall-2]  TOKEN_USERNAME = <empty>   @ assume
Step 9  [funccall-2]  ## = <empty>   @ assume
Step 10  [funccall-3]  #force_empty = <empty>   @ assume
Step 11  [funccall-3]  USERNAME_USERID = <empty>   @ assume
Step 12  [funccall-3]  ## = <empty>   @ assume
Step 13  [funccall-4]  #force_empty = <empty>   @ assume
Step 14  [funccall-4]  BOOKID_USERID = <empty>   @ assume
Step 15  [funccall-4]  ## = <empty>   @ assume
Step 16  [funccall-5]  #force_empty = <empty>   @ assume
Step 17  [funccall-5]  LOANID_BOOKID = <empty>   @ assume
Step 18  [funccall-5]  ## = <empty>   @ assume
Step 19  [input]  username = 9_zozo   @ assume
Step 20  [input]  password = _ozc_k   @ assume
Step 21  [input]  userType = LIBRARIAN   @ assume
Step 22  [funccall-6]  #not_in = <empty>   @ assume
Step 23  [funccall-6]  username = 9_zozo   @ assume
Step 24  [funccall-6]  #dom = <empty>   @ assume
Step 25  [funccall-6]  USERNAME_PASSWORD = <empty>   @ assume
Step 26  [funccall-6]  ## = <empty>   @ assume
Step 27  [funccall-6]  ## = <empty>   @ assume
Step 28  [funccall-7]  username = 9_zozo   @ register
Step 29  [funccall-7]  password = _ozc_k   @ register
Step 30  [funccall-7]  userType = LIBRARIAN   @ register
Step 31  [funccall-8]  #and_operator = <empty>   @ assert
Step 32  [funccall-8]  #in_dom = <empty>   @ assert
Step 33  [funccall-8]  USERNAME_PASSWORD = <empty>   @ assert
Step 34  [funccall-8]  username = 9_zozo   @ assert
Step 35  [funccall-8]  ## = <empty>   @ assert
Step 36  [funccall-8]  #in_dom = <empty>   @ assert
Step 37  [funccall-8]  USERNAME_USERTYPE = <empty>   @ assert
Step 38  [funccall-8]  username = 9_zozo   @ assert
Step 39  [funccall-8]  ## = <empty>   @ assert
Step 40  [funccall-8]  #equals = <empty>   @ assert
Step 41  [funccall-8]  #mapVal = <empty>   @ assert
Step 42  [funccall-8]  USERNAME_PASSWORD = <empty>   @ assert
Step 43  [funccall-8]  username = 9_zozo   @ assert
Step 44  [funccall-8]  ## = <empty>   @ assert
Step 45  [funccall-8]  password = _ozc_k   @ assert
Step 46  [funccall-8]  ## = <empty>   @ assert
Step 47  [funccall-8]  #equals = <empty>   @ assert
Step 48  [funccall-8]  #mapVal = <empty>   @ assert
Step 49  [funccall-8]  USERNAME_USERTYPE = <empty>   @ assert
Step 50  [funccall-8]  username = 9_zozo   @ assert
Step 51  [funccall-8]  ## = <empty>   @ assert
Step 52  [funccall-8]  userType = LIBRARIAN   @ assert
Step 53  [funccall-8]  ## = <empty>   @ assert
Step 54  [funccall-8]  ## = <empty>   @ assert
Step 55  [funccall-9]  #in_dom = <empty>   @ assume
Step 56  [funccall-9]  USERNAME_PASSWORD = <empty>   @ assume
Step 57  [funccall-9]  username = 9_zozo   @ assume
Step 58  [funccall-9]  ## = <empty>   @ assume
Step 59  [funccall-10]  username = 9_zozo   @ registerDuplicateProbe
Step 60  [funccall-10]  password = _ozc_k   @ registerDuplicateProbe
Step 61  [funccall-10]  userType = LIBRARIAN   @ registerDuplicateProbe
Step 62  [funccall-11]  true = <empty>   @ assert
