update computeExitSet and getTransitionDomain
exclude another xpath test until implemented
sync latest test files