yices(Version, File, Result) :- yices_version(Version), yices_call(Version, File, Result).
