tosem: New tosem operator complete

 * Delete all RandomModel projects
 * Modify Z3 model parser to hide intermediate integer id
 * Add backbone optimizations to new tosem