fixed states count + type in CoffeeScript

@@ -5,7 +5,7 @@ statespace = (init, addsucc, print_states, print_succs, print_dead) ->
     i = init()
     i.id = 0
     todo = new sets.Queue(i)
-    seen = new sets.Set()
+    seen = new sets.Set(i)
     dead = 0
     while not todo.empty()
         state = todo.get()

@@ -11,7 +11,7 @@
     i = init();
     i.id = 0;
     todo = new sets.Queue(i);
-    seen = new sets.Set();
+    seen = new sets.Set(i);
     dead = 0;
     while (!todo.empty()) {
       state = todo.get();

@@ -174,7 +174,7 @@ class CodeGenerator (ast.CodeGenerator) :
             if not hasattr(node.CTX, "testvar") :
                 node.CTX.testvar = node.NAMES.fresh(base="test", add=True)
             self._marking(node.CTX.testvar, node.test, node.BLAME)
-            self.fill("if %s.get(%s)" % (node.old, node.CTX.testvar))
+            self.fill("if %s.geq(%s)" % (node.old, node.CTX.testvar))
             indent = 1
         elif node.sub :
             subtest = True