2
1 call start
1 return
1 call addFlight xid "347" 100 310
1 return true
1 call newCustomer xid "John"
1 return true
1 call commit xid
1 return true
1 call start
1 return
2 call start
2 return
1 call reserveFlight xid "John" "347" 
1 return true
2 call addFlight xid "347" 100 620 
1 call commit xid
1 return true
2 return true
2 exit
