One of the implementations underwent analysis.

Surely they both go through that before being merged? If not then I think the the issue is somewhere other than I'd being suggested.