fixed scripts for automatic synthesis of A and B test-cases