Add Yices source for reference
Complete overhaul