2
1 call start
1 return
1 call addRooms xid "Stanford" 200 150
1 return true
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 reserveRoom xid "John" "Stanford"
1 return true
1 call commit xid
1 return true
1 call start
1 return
2 call start
2 return
1 call queryCustomerBill xid "John"
1 return 150
2 call reserveCar xid "John" "SFO"
1 call commit xid
1 return true
2 return true
2 exit
