public void ModByZero()
{
var builderPair = GetSimpleAndConstantFoldingBuilder();
var cfb = builderPair.Item2;
var result = cfb.Mod(cfb.ConstantInt(8), cfb.ConstantInt(0));
CheckIsInt(result);
Assert.IsNull(ExprUtil.AsLiteral(result));
Assert.IsNotNull(ExprUtil.AsMod(result));
Assert.AreEqual("8 mod 0", result.ToString());
}