Remove Yices dependency.