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