trans2smv update

only add prefix on enumerations of rule names