Added "opt_const -mux_undef"