pub unsafe extern "C" fn SCIPvarIsNegated( var: *mut SCIP_VAR, ) -> c_uint
returns whether the variable was created by negation of a different variable