Function SCIPvarSetCertificateIndex 

pub unsafe extern "C" fn SCIPvarSetCertificateIndex(
    var: *mut SCIP_VAR,
    certidx: c_int,
)

sets index of variable in certificate