Maude stuff

@andreistefanescu @traiansf please review.
I'm not sure I want this rule to be imported in the java backend. @traiansf was there a way to say that this rule is a maude implementation rule only?