in `Elim_multi_eqns`, emit warning if some cases are undefined (and print corresponding input pattern)
