let ran_successfully = function `Ran_successfully _ -> true | _ -> false