let is_empty heap = (List.length heap)=0