let solution n i = 
  Solution.fold
    (fun x (a, _) acc -> (x, a) :: acc)
    (Context.eqs_of (get_context n) i)
    []