coverage criterion generator
almost done.