clause coverage

https://buildhive.cloudbees.com/job/krzysztof-tobola/job/xquery-saxon/1/
this is tricky, do you know why saxon does not pass CoverageClause to tracer?