semantic analysis

to understand the semantics of our source program,