added small changes to semantic_checker and sast_to_jast before feature branch merge