redex: fix unify coverage tests

expect `_' from match-a-pattern, instead of `else'