added reader for alnInfoHolder and add reverse to the std:: addition