[AAI] Updating AAI for CNF Updates