diff --git a/compiler/minils/transformations/callgraph.ml b/compiler/minils/transformations/callgraph.ml
index 69502d3..e65b5e8 100644
--- a/compiler/minils/transformations/callgraph.ml
+++ b/compiler/minils/transformations/callgraph.ml
@@ -182,7 +182,8 @@ struct
                                      node_params_constraints = [] } in
       (* Find the name that was associated to this instance *)
       let ln = node_for_params_call n.n_name params in
-      Modules.add_value ln node_sig; (*TODO Bug with array1.ept*)
+        if not (check_value ln) then
+          Modules.add_value ln node_sig;
       { n with n_name = ln; n_params = []; n_params_constraints = []; }
 
     let node_dec modname n =