let successfully_did_nothing = function `Successfully_did_nothing _ -> true | _ -> false