Add a default case to the given cases alternatives if there
are alternatives with equivalent (aka alpha equivalent) right hand sides.
Lean.Compiler.LCNF.Simp.DefaultAlt
Add a default case to the given cases alternatives if there
are alternatives with equivalent (aka alpha equivalent) right hand sides.