Finished review
Hazardous renaming of variables in second isomorphism algorithm