work in progress, playing around with btor2 in rust - View it on GitHub