Added "opt_const -mux_undef"
Merge pull request #1 from cliffordwolf/master

Added "opt_const -mux_undef"