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