Improved Generalizer Validation

Fixed bugs in the enclosure validation
Updated wrapping the output into a nice text file format.