Comment to XML conversion: no, we don't want to print instantiations for the
<Declaration> tag