refactoring
CFGLinker: stupid bug