`refine_mismatch_using_guards` vs `refine_vars_by_mismatching_clause` - redundant?

[erszcz]

Purpose and general structure of these seems to be similar, it needs checking if they're completely redundant or not and if they could be merged or not.