remove duplicate rule and fix cil for maude backend
Merge remote-tracking branch 'upstream/java_rewrite_engine' into java_rewrite_engine
fix duplicate rule to be -- instead of being deleted
Merge pull request #18 from dwightguth/java_rewrite_engine

remove duplicate rule and fix cil for maude backend