Normalization of abstract conjunctions is functional, but applying it as a form of post-processing causes the appearance of inconsistent tree nodes. For instance, if the selected conjunct at any point is a multi, but the multi is moved right due to normalization, the selected conjunct becomes a regular abstract atom. At that point, the tree has to change, as well, because it is not possible to apply unfold:one or unfold:many to an abstract atom.
Normalization of abstract conjunctions is functional, but applying it as a form of post-processing causes the appearance of inconsistent tree nodes. For instance, if the selected conjunct at any point is a multi, but the multi is moved right due to normalization, the selected conjunct becomes a regular abstract atom. At that point, the tree has to change, as well, because it is not possible to apply unfold:one or unfold:many to an abstract atom.