random TDL test generation -- work in progress