Concordancia de Haller: CEGAR