let inv i s = Solution.inv (eqs_of s i)