el if del yices