Function idalib_inf_gen_assume 

pub unsafe fn idalib_inf_gen_assume() -> bool