added abbrev for string-equal