- modify operator<< for XAModification class
- use iterator in XAModification.isEmpty() method
- add experimental diff report for XAs
- fix experimental xa_diff() method