Cleaned up in the package randomlevelgenerator.sat some.