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.
Because if more than one class is in a cycle, this rule will match on any
of them, making it cause non confluence if it is an equation.


On Tue, Jul 15, 2014 at 11:55 AM, Traian Florin Șerbănuță <
notifications@github.com> wrote:

> In tutorial/2_languages/2_kool/2_typed/2_static/kool-typed-static.k:
>
> > @@ -589,7 +589,7 @@ checks for cycles. */
> >              ...</classes> _ => .)
> >             <out>... .List => ListItem("Class \"" +String Id2String(C)
> >                                    +String "\" is in a cycle!\n") </out>
> > -       </T>  [structural]
> > +       </T>  [transition]
>
> Why transition?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/711/files#r14947863>.
>