Added "test_cell -muxdiv"
Various fixes and improvements in "write_smt2 -bv"