Hax_engine.Phase_simplify_match_return
This phase rewrites `let pat = match ... ... => ..., ... => return ... ; e` into `match ... ... => let pat = ...; e`.
... => ..., ... => return ...
... => let pat = ...; e
module Make : Phase_utils.UNCONSTRAINTED_MONOMORPHIC_PHASE