Fork of MSR's Z3 SMT solver, fixing bugs in the Java interface