let
is_bottom a = a.neg.is_true
||
(snd (
Vec
.last a.var.ident.ivalues))
land
a.value = 0