public void NoFold()
{
var pair = GetSimpleAndConstantFoldingBuilder();
var sb = pair.Item1;
var cfb = pair.Item2;
var variable0 = GetVarAndIdExpr("foo", BasicType.Bool).Item2;
var variable1 = GetVarAndIdExpr("foo2", BasicType.Bool).Item2;
var foldedResult = cfb.Imp(variable0, variable1);
var simpleResult = sb.Imp(variable0, variable1);
CheckIsBoolType(foldedResult);
CheckIsBoolType(simpleResult);
Assert.AreEqual(simpleResult, foldedResult);
Assert.IsNotNull(ExprUtil.AsImp(foldedResult));
}
