But I do not think we need changes in this file anyway. Isn't all this code just to assure all necessary preconditions are computed? What does `ensureModel` exactly do?