Some experiments with SMT solvers and GIMPLE IR - View it on GitHub