let
visible_mark m = not (!
Db
.
Slicing
.
Mark
.is_bottom m)