Dieses Werkzeug erzeugt eine neue XOR-Dekomposition.
Durch eine XOR-Dekomposition wird ein komplexer Zustand in
Subzustände zerlegt, wobei ein betrachtetes Objekt immer
in genau einem der Subzustände ist, sobald es sich in
diesem komplexen Zustand (composite state) befindet.