XQueryExecutor depends on abstract TraceProvider
split into adapter and coverage modules