Factorization constraints for the RJT-model assume that the list of nodes in a cluster is ordered so that the root node is the last element in the list. This creates a problem, when a user wants to add nodes to clusters and pushes them to the end of the list. Then the factorization constraints do not work and the model has no solutions.
The assumption is as follows:
diagram.RJT.clusters[name][end] = name
Possible solutions:
- Throw an error if the root node of a cluster is not the last element
- Modify factorization constraints so that the root node does not have to be the last element