let add_scratch_context i =
  let a = id_to_atom i in
    match Context.add !scratch a with
      | Context.Status.Valid -> 1
      | Context.Status.Inconsistent -> 0
      | Context.Status.Ok(s) -> (scratch := s; 1)