Convert references to SpecRef, with different output for CG and WG