fix ? to !
remove duplicate rule and fix cil for maude backend