Yices Printer added, some tests, more smg extensions