let is_consistent r = 
  (match r with
     | Context.Status.Ok _ -> true
     | _ -> false)