let context_solution_of s i = Context.eqs_of s (Th.of_int i)