This is a really interesting question! TIL about CA vs. Altai and the abstraction-filtration-comparison test.
https://en.wikipedia.org/wiki/Computer_Associates_International%2C_Inc._v._Altai%2C_Inc.
I'm not sure how automatable it is. Interesting to try though!