adding PatternTranslator