Note: this could also happen when doing projections... although it is not certain if we would like to maintain those empty generators regardless for memory reasons (although empty generators/constraints only purpose would be to maintain the labels existence and not any explicit information)