tosem: Various fixes to make everything testable

 * Working until parsing z3 model