Fixed up corpora files to comply with Alloy 4
Fixed up all the files to remove parens.
added some more instrument to find out how it's not isomorphic
added extra error checking
fixes to extra error checks