ignoring abbrev_defs