/* we can't handle unions correctly yet -> address taken */
if (is_Union_type(get_entity_owner(entity)))
return 1;
/* Check the Sel successor of Sel */
/* we can't handle unions correctly yet -> address taken */
if (is_Union_type(get_entity_owner(entity)))
return 1;
/* Check the Sel successor of Sel */