added semantic checks for main function and continue/break statements