let
is_bottom m = (
Mark
.is_bottom (user_mark m))