No xml created

Removed the creation of an XML file when proxdd is used.