Mark models with no constraints as feasible in presolve

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.

Beginne damit, die presolve-Logik zu finden, die bestimmt, ob ein Modell zulässig ist. Prüfe, wie Modelle ohne Constraints dargestellt werden und wie die Zulässigkeit derzeit erfasst wird. Als erledigt gilt die Aufgabe, wenn ein Modell ohne Constraints während presolve als zulässig markiert wird und vorhandene Tests oder ein neuer fokussierter Test dieses Verhalten bestätigen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.