Rust mid-level IR Abstract Interpreter - View it on GitHub