Added "abbr_" prefix to abbreviation identifiers to reduce likelihood of id collisions.