private static void CollectFlags_UNUSED(Expr e, ref Flags flags)
{
if (e.IsConst)
{
flags |= FlagTools.Parse(e.ToString().Substring(0, 2));
}
else
{
foreach (Expr e2 in e.Args)
{
ToolsZ3.CollectFlags_UNUSED(e2, ref flags);
}
}
}
