let contains_non_zero v =
    not ((equal v bottom) || (is_zero v))