make the maude backend output more deterministic

@traiansf please review

The Maude backend had some issues that were making the output to maude JVM dependent. I added some code whose purpose is to ensure that the ordering and numbering of rules is the same accross different Java versions.
But the problem is that it is not clear which one is first.  We got the other one when we switched to Java 8, for whatever reason which I do not even remotely want to understand :)

Grigore


________________________________
From: Traian Florin Șerbănuță [notifications@github.com]
Sent: Tuesday, July 15, 2014 11:58 AM
To: kframework/k
Cc: Rosu, Grigore
Subject: Re: [k] make the maude backend output more deterministic (#711)


In tutorial/2_languages/2_kool/2_typed/2_static/tests/cycle.kool.out:

> @@ -1 +1,2 @@
> -Class "C2" is in a cycle!
> +Class \\"C2\\" is in a cycle!
> +Class \\"C1\\" is in a cycle!


Maybe you should ask @grosu<https://github.com/grosu> if he approves of this change to the code. Although you detect all errors, it might be reasonable to stop at the first error.

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/711/files#r14948074>.