register_type_analysis

def_register_is_not_base_address(EA:address, Reg:register)