a simple haskell-program to analyze the semantics of a program written in the language 'WHILE'.