let d_consistent r =
  match r with
    | Context.Status.Ok s -> s
    | _ -> (context_empty())