Hi Nuno, > add preserversCFG() + preservers(CallGraph) it does not preserve the callgraph, because for a function F that is made internal, before there was an edge to it from the external node, while after there should not be (but there still is - i.e. the callgraph was not updated properly). Ciao, Duncan.