This test is not broken, you can find it above for the java backend; @traiansf is going to implement this functionality for Maude, and then uncomment the test.