Add Transformation from ZDD to XDD