yices2-inst