Removed unused covertree