Write syntax directed definition for type checking in the following code.

S->id=E

S->if E then s1

S->while E do s2