Currently there are no cases where we mark a model as being feasible. However, we could/should in the case that the model has no constraints.