pub unsafe fn predicate_refuted_by( arg_predicate_list: *mut List, arg_clause_list: *mut List, arg_weak: bool, ) -> bool