Added Abhishek's sygus format checker script