let
is_bottom v = equal bottom v