Yices 2
Better error messages for bad filename input
Clean up model handling
Clean up
Move slicing into models
Clean up
Remove definitions for candidates
Smoother tracking of default stream values
Switch use Lustre values for s-expression evaluation
More complete equality check for mixed types
Clean up Yices2 handling code
Fix bug introduced by using Lustre values for models