Fixing Yices impl from MPS - before Builder mods
Yices runs as a tool, results builder is not tested yet, nor wrapped