let is_some_fresh = function Fresh _ -> true | _ -> false