remove duplicate rule and fix cil for maude backend

@andreistefanescu please review.
good catch!