add another test case of MUS enumeration