The same thing should be covered for the variable as it also can be deleted in presolving but this could be tackled in a following PR. _Originally posted by @mmghannam in https://github.com/scipopt/russcip/pull/234#discussion_r2052103443_