Finished the first version of the Yices 1 prover binding