let verified_success = function `Verified_success _ -> true | _ -> false