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