Function SCIPaddTermPseudoboolean 

pub unsafe extern "C" fn SCIPaddTermPseudoboolean(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
    vars: *mut *mut SCIP_VAR,
    nvars: c_int,
    val: f64,
) -> SCIP_RETCODE

adds nonlinear term to pseudo boolean constraint (if it is not zero)

@note you can only add a coefficient if the special type of linear constraint won’t changed

@todo if adding a coefficient would change the type of the special linear constraint, we need to erase it and create a new linear constraint