Added global variable to set maximum value of parity quantum number. Needed for Z3 clock model.