Agregando detalles y defs en preliminares (Tseitin, teo->obs, etc)