Tests Generated  from Language tests -Microfeaturetests
They dump the ds test into CBN and do coparison between languag and CBN