process synonym in abbs file for push to linker; tests