updated Cil results