2
1 call start
1 return
1 call addCars xid "SFO" 300 30
1 return true
1 call newCustomer xid "John"
1 return true
1 call commit xid
1 return true
1 call start
1 return
1 call reserveCar xid "John" "SFO"
1 return true
1 call commit xid
1 return true
1 call start
1 return
2 call start
2 return
1 call deleteCustomer xid "John"
1 return true
2 call queryCars xid "SFO"
1 call commit xid
1 return true
2 return 300
2 exit
