added SuccessorWithDelete and UF with canonical element