public static string GuardToString(bool isExistentialGuard, Expression expr) {
Contract.Requires(!isExistentialGuard || (expr is ExistsExpr && ((ExistsExpr)expr).Range == null));
using (var wr = new System.IO.StringWriter()) {
var pr = new Printer(wr);
pr.PrintGuard(isExistentialGuard, expr);
return wr.ToString();
}
}
