Script for testing generated code (not working perfectly)
Test case 12 half-done