Do not allow yices warnings