Switch to new loop transformation framework, use it for peeling and full unrolling for snippets Change behaviour or addDuplicates : it now connects things to the 'outer world' for inputs. Only replacement of nodes which are in the set of duplicated nodes get their edges updates