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