Catalog exit codes and check for Yices 2 limitations
Change benchmark default to 1 run
Clean up types related to dependency analysis
Include assertions without variables
Initial version
Fading