fix target test generator
another fix for the generator
add quickcheck test for parser/printer