analysis of address_tkane for union types is not that easy - be conservative