Modified to main function according to syntax
Merge branch 'semantic_check' of https://github.com/jhn/PLT into semantic_check