diverticularization