Bookkep the selected RecordDecls in a set to avoid double selection