Function mk_nullable_is_null 

pub unsafe extern "C" fn mk_nullable_is_null(
    tm: *mut TermManager,
    term: Term,
) -> Term

Create a null tester for a nullable term. @param tm The term manager instance. @param term A nullable term. @return A tester whether term is null.