Nice work. Props on normalizing human names and use/mention distinction. Are you going to stick to analysis, or support code transformations? If you're going t

Nice work. Props on normalizing human names and use/mention distinction. Are you going to stick to analysis, or support code transformations? If you're going to transform code, how will you avoid IDE refactor tool hell? I was struck with the same idea (turning ASTs into git DAGs; normalizing code) back when I was first learning git, but the idea took me down a different path - writing a structured (no-plaintext) programming environment. I'll get to the version control portion soon enough, and I hope there'll be some lessons I can take away from Codeq!