write semantic part & add test1~4

semantic analysis