ADD testcase for GreedyMatch bug