pub unsafe extern "C" fn SCIPvarMarkNotDeletable(var: *mut SCIP_VAR)
marks the variable to be not deletable from the problem