https://github.com/kasuga-fj commented: Consider removing [Constraint](https://github.com/llvm/llvm-project/blob/7bc3c24a4b7fb04186976366b8ba3e626512f75b/llvm/include/llvm/Analysis/DependenceAnalysis.h#L465-L548) class entirely. https://github.com/llvm/llvm-project/pull/160924