added_identifiers needs to be mutable. fix #2140 #2141