Reverted saxon 9.5 (unnecessarily it turns out). Added second test.