let sym_d_apply = function Fun(Apply(i)) -> None | _ -> assert false