Tests Generated  from Language tests -Microfeaturetests

 They dump the ds test into CBN and do comparison between language and CBN