Esto llevó al Gobierno colombiano a tratar de obtener la devolución de dineros de AIS en 2009.