let already_done = function `Already_done _ -> true | _ -> false