let did_not_ensure_condition = function `Did_not_ensure_condition _ -> true | _ -> false