added help message, and updated semantic analyzer