added return in typeCheck in writestmt
merge ast