start to write semantic analysis (lab02)