Spec tests: transform xrefs