Primitive E module for a (more conservative) mux.
We use this to implement vl2014::*vl-1-bit-approx-mux*.
Definition: *esim-safe-mux*
(defconst *esim-safe-mux* '(:n *esim-safe-mux* :x (:out ((|out| ite* |sel| |a| |b|))) :i ((|sel|) (|a|) (|b|)) :o ((|out|))))
