let add (heap: heap) (data: data) : unit =
    add' heap data;
    check heap