fixed comparison of node in crawler

fixed bug in cloning edge as it was adding it twice to the node

Author: suarmagit

model_extraction/crawler.py

@@ -380,7 +380,7 @@ def explore(self, current_node=None, current_edge=None):
                     already_exists = False
                     if actual_node:
                         for other_edge in edge.tail.edges:
-                            if other_edge.head == actual_node:
+                            if other_edge.head is actual_node:
                                 already_exists = True
                                 current_path.append(other_edge)
                                 break

model_extraction/graph.py

@@ -150,7 +150,6 @@ def clone(self):
             candidate += 1
         new_one = self.tail.create_edge(candidate_name, self.head)
         new_one.return_to_caller = self.return_to_caller
-        new_one.tail.edges.append(new_one)
         return new_one