I think it might be good for the future to have this eventually a NotNull. But it is outside this pull's scope _Originally posted by @Andful in https://github.com/scipopt/russcip/pull/155#discussion_r1799036506_