tosem: Better api to deal with z3 models