public void Test() { var builder = new SimpleExprBuilder(/*immutable=*/ true); var bv0_32 = builder.ConstantBV(0, 32); var bv1_32 = builder.ConstantBV(1, 32); var neq = builder.NotEq(bv0_32, bv1_32); using (var writer = new StringWriter()) { var printer = GetPrinter(writer); printer.PrintExpr(neq); Assert.AreEqual("(distinct (_ bv0 32) (_ bv1 32) )", writer.ToString()); } }