/// <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);
}
}
}
