public void Test()
{
var builder = new SimpleExprBuilder(/*immutable=*/ true);
var boolTrue = builder.ConstantBool(true);
var boolFalse = builder.ConstantBool(false);
var iffExpr = builder.Iff(boolTrue, boolFalse);
using (var writer = new StringWriter())
{
var printer = GetPrinter(writer);
printer.PrintExpr(iffExpr);
Assert.AreEqual("(and (=> true false ) (=> false true ) )", writer.ToString());
}
}
