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