Made yices more regular