Fun With Flags - Z3 SMT Solver