pub unsafe fn make_ands_explicit(arg_andclauses: *mut List) -> *mut Expr