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