Added test cases for issues #192 and #193 to Matching.eli