remove duplicate rule and fix cil for maude backend

@andreistefanescu please review.