fix: avoid duplicated definition

Author: yongweiy

interop/klr/gather.c

@@ -1624,18 +1624,20 @@ static void definition(struct state *st, PyObject *obj, char* suggested_name) {
   switch (stmt->kind) {
   case FunctionDef_kind:
     if (st->scope.f) {
-      function(st, name, stmt);
       if (suggested_name && strcmp(lean_string_cstr(name), suggested_name) != 0) {
         function(st, lean_mk_string(suggested_name), stmt);
+      } else {
+        function(st, name, stmt);
       }
     }
     break;
 
   case ClassDef_kind:
     if (st->scope.cls) {
-      class(st, name, stmt);
       if (suggested_name && strcmp(lean_string_cstr(name), suggested_name) != 0) {
         class(st, lean_mk_string(suggested_name), stmt);
+      } else {
+        class(st, name, stmt);
       }
     }
     break;