Added default cases for the muxes. Empty since we have separate default assignments.