Catalog exit codes and check for Yices 2 limitations