Added Z3 flag