let is_bottom v = equal bottom v