demuxmap - transform $demux cells to $eq + $mux cells

yosys> help demuxmap

demuxmap [selection]

This pass transforms $demux cells to a bunch of equality comparisons.