Disabled some patchs for cajita feliz and changed the bdd to avoid bugs