New version of 'mergeNodes', with better vars names and no imported duplicates
Produce valid modular and pretty Kind2 native output