Add notes to some of the ISO Prolog tests about fixes from the Technical Corrigendum 1