Added CheckCase statements to the issuance protocol