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