fixing bug in visitor: incomplete initialization leads to use of synonyms when not wished