Externalize syncope.address in the cfg