fix some error in Operaions, fix names in ConsistencyRules