public static byte[] Hash(IEnumerable<BoxedExpression> exprs, bool trace)
{
Contract.Ensures(Contract.Result<byte[]>() != null);
using (var tw = new HashWriter(trace))
{
foreach (var expr in exprs)
tw.WriteLine(expr.ToString());
return tw.GetHash();
}
}
