Added in Z3 symmetry breaking code for  Q = 2, Q = 3