repeated test generation logic for puresymbolic