updated adding json from library: now rename tactics with filename-tactic update the names in json graph (of library file) before adding them in the current model as well as adding the vertices in current graph