let model n xs =
  let m = Context.model (get_context n) xs in
    Term.Map.fold (fun x a acc -> (x, a) :: acc) m []