done static semantics....a little doubt about skip statement