/// <summary>add the contants from Expression e to the provided set</summary> private static void CollectConstants_UNUSED(Expr e, ref ISet <Expr> set) { if (e.IsConst) { set.Add(e); } else { foreach (Expr e2 in e.Args) { ToolsZ3.CollectConstants_UNUSED(e2, ref set); } } }