The class GeneratedTests contains tests bootstrapped from OCL constraints on AST classes, the other classes of this package are needed for the generation process.