> 2. Not deterministic

I understand why that's the case, and I believe this is the main hurdle for adoption of a tool like this.