findscope in findc2

Author: Dimosts

pycona/find_constraint/findc2.py

@@ -93,12 +93,14 @@ def run(self, scope):
 
                 kappaD = [c for c in delta if check_value(c) is False]
 
-                #scope2 = self.ca.run_find_scope(list(scope), kappaD)  # TODO: replace with real findscope arguments when done!
-
-                #if len(scope2) < len(scope):
-                #    self.run(scope2)
-                #else:
-                delta = join_con_net(delta, kappaD)
+                scope2 = self.ca.run_find_scope(list(scope)) 
+
+                if len(scope2) < len(scope):
+                    c = self.run(scope2)
+                    self.ca.add_to_cl(c)
+                    sub_cl.append(c)
+                else:
+                    delta = join_con_net(delta, kappaD)
 
     def generate_findc_query(self, L, delta):
         """