Previously we just never output a tree with a CoverInitialisedName?