let valid n a =
  match Context.add (get_context n) a with 
    | Context.Status.Valid -> true
    | _ -> false