[Bennet] Expand SMT pruning to include ADs#494

ZippeyKeys12 merged 1 commit intorems-project:mainrems-project/cn:mainfrom

ZippeyKeys12:ad-smt-pruningZippeyKeys12/cn:ad-smt-pruningCopy head branch name to clipboard