pub unsafe extern "C" fn SCIPvarGetCertificateIndex( var: *mut SCIP_VAR, ) -> c_int
returns position of variable in certificate